observed: instrumentation inside` __VERIFIER_assert`

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

Closed chkl closed 6 years ago

chkl commented 6 years ago

Happened with strategy random-uniform and array-examples/standard_sentinel_false-def-behavior.i