Skip to content

Commit

Permalink
Use ALL as logic for Kojak in regression tests
Browse files Browse the repository at this point in the history 
Otherwise the tests with quantifiers fail
  • Loading branch information
@schuessf
schuessf committed Jan 10, 2025
1 parent 1c33f80 commit e4645c2
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions trunk/examples/programs/regression/c/KojakC-Reach-32Bit-Default.epf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,7 @@ file_export_version=3.0
#Sun Nov 08 00:43:17 CET 2015
file_export_version=3.0
/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck/Interpolating\ solver=SMTINTERPOL
/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck/Theory\ for\ external\ solver=ALL
\!/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck=
/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck/Timeout\ in\ seconds=1000000
@de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck=0.0.1

0 comments on commit e4645c2

Please sign in to comment.