search

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
http://theta.inf.mit.bme.hu/
Apache License 2.0
49 stars 43 forks source link

Update SV-COMP configuration files to use the new flags #297

Closed AdamZsofi closed 1 week ago

AdamZsofi commented 2 months ago

--witness-only is deprecated, so we need to change it to:

--enable-output
--disable-arg-generation
--disable-chc-serialization
--disable-xcfa-serialization
--disable-c-serialization
--only-svcomp-witness