search

staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

use benchexec for running benchmarks #28

Open mchalupa opened 8 years ago

mchalupa commented 8 years ago

better measurements and easier tools integration