search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

Print PRECONDITION_NOT_MET only if it leads to loss of specs. #53

Closed rgrig closed 6 years ago

rgrig commented 7 years ago

In tests/defaults/run-infer we look at diffs in warnings given by Infer. We should only select those warnings in methods that lost their specs.

rgrig commented 6 years ago

Not doing: instead we have a different way of providing TOPL_ERROR.