Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.APITest.testSetOptionLate

Standard Error

Asserted terms created with incompatible theory
Asserted terms must have sort Bool
Asserted terms must be closed
INFO - Confl: 0 Props: 1 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.0 Prop: 0.01 PropClause: 0.002 Set: 0.013 Check: 0.011 Back: 0.0
INFO - Atoms: 1/1 Clauses: 0 Axioms: 1
INFO - CCTimes: iE 0 eq 0 cc 0 setRep 0
INFO - Merges: 0, cc:0
INFO - Number of Bland pivoting-Operations: 0/0
INFO - Number of variables: 0 nonbasic: 0 shared: 0
INFO - Time for fix Oob          : 0
INFO
...[truncated 1863 chars]...
!
No logic set!
No logic set!
No logic set!
No logic set!
No logic set!
INFO - Confl: 0 Props: 2 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 0.0 Prop: 0.008 PropClause: 0.002 Set: 0.0 Check: 0.0 Back: 0.0
INFO - Atoms: 0/3 Clauses: 0 Axioms: 5
INFO - Hooray, we found a model:
INFO - Confl: 0 Props: 2 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 0.0 Prop: 0.012 PropClause: 0.002 Set: 0.0 Check: 0.001 Back: 0.0
INFO - Atoms: 0/0 Clauses: 0 Axioms: 5
INFO - Hooray, we found a model: