search

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers
MIT License
11 stars 6 forks source link

Crash during DFS in random100. #56

Closed chkl closed 6 years ago

chkl commented 6 years ago

On file ./c/array-memsafety/selectionsort_unsafe_false-valid-deref.i

chkl commented 6 years ago

Fix: Also add the declaration of __VERIFIER_error() if not present.