search

Practical-Formal-Methods / adiff

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

EXP03: compare "batch"-mode with regular mode #78

Closed chkl closed 5 years ago

chkl commented 6 years ago

https://github.com/chkl/vdiff/wiki/exp03_conjuncts