TestOneStepSimplifier

1

tests

0

failures

0

ignored

6.157s

duration

100%

successful

Tests

Test Duration Result
loadWithRestriction() 6.157s passed

Standard output

712032     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof 
712032     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.5ns 
712035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
712211     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
712211     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
712211     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
712211     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
712919     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
718142     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.11s 
718173     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof 
718173     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.05ms