search

staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

symbiotic: UNKNOWN due to property is reported as ERROR #37

Open mchalupa opened 8 years ago

mchalupa commented 8 years ago

For Concurrency, Termination, etc. we get instead of UNKNOWN the ERROR (symbiotic give UNKNOWN as expected)