search

Practical-Formal-Methods / adiff

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

"insertBefore was caleld at a location outside of a compound statement" #58

Closed chkl closed 6 years ago

chkl commented 6 years ago

vdiff --strategy=dfs --verifiers="always-Sat" --budget=100 ./c/reducercommutativity/sep_true-unreach-call_true-termination.i