Instrumentation: remove all occurences of ~goto ERROR~

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

Instrumentation: remove all occurences of ~goto ERROR~ #88

Closed chkl closed 6 years ago

chkl commented 6 years ago

as discovered in EXP05, benchmark file c/locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c, uses goto ERROR to go into the error state.