search

staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

store witness checker output and witness itself into db #26

Closed mchalupa closed 8 years ago

mchalupa commented 8 years ago

due to debugging

mchalupa commented 8 years ago

done