TestOneStepSimplifier

1

tests

0

failures

0

ignored

4.030s

duration

100%

successful

Tests

Test Duration Result
loadWithRestriction() 4.030s passed

Standard output

472378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof 
472378     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 128ns 
472378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
472524     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
472524     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
472524     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
472524     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
473105     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
476374     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 
476390     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof 
476406     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.3ms