goto-instrument: Replace calls to undefined functions by assume(false)#747
Merged
kroening merged 5 commits intodiffblue:masterfrom tautschnig:undefined-function-assume-falseApr 4, 2017
+535-9
Commits
Commits on Mar 31, 2017
- committed
- committed
- committed
- committed
