Roberto Ierusalimschy e67dc3a227 'symbexec' merged with 'getobjname' (as only use for symbolic execution ...

now is to find a "good" name for an object)

2009-05-04 15:26:21 -03:00

12 KiB

Raw Blame History

View Raw