TestOneStepSimplifier

1

tests

0

failures

0

ignored

5.184s

duration

100%

successful

Tests

Test Duration Result
loadWithRestriction() 5.184s passed

Standard output

594363     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof 
594363     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.1ns 
594363     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
594519     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
594519     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
594535     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
594535     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
595148     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
599509     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 
599540     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof 
599540     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 877.1ns