Hi! Elad Efrat wrote:
A while ago mjf@ wrote a patch for veriexecgen that tries to guess all of that stuff (see PR/34773) -- please test if you're interested; if you find it useful I'll just commit it.
This looks very useful to me. :) -- Adam Hoka CC if you reply, please.