search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

automate tests/infer-* #57

Open rgrig opened 6 years ago

rgrig commented 6 years ago

We should also check that they work reasonably well.