search

staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

get verbose witness output #32

Closed mchalupa closed 8 years ago

mchalupa commented 8 years ago

output from verifier + the witness itself

mchalupa commented 8 years ago

to #26