Document "assume a return" code discovery heuristic
thebendavis opened this issue · comments
Resolved - this is no longer a built-in automatic heuristic, and is now a command line flag the user can choose to enable (--always-classify-return).
Patches Assured up to Trace Equivalence
thebendavis opened this issue · comments
Resolved - this is no longer a built-in automatic heuristic, and is now a command line flag the user can choose to enable (--always-classify-return).