search

staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

exclude option doesn't work #22

Closed mchalupa closed 9 years ago

mchalupa commented 9 years ago

Ran symbiotic as usual today. In config file is exclude = ECA.set ... but benchmarks from ECA are running. Was there ECA or Eca? .. Case sensitivity may be a problem here