TestOneStepSimplifier

1

tests

0

failures

0

ignored

5.263s

duration

100%

successful

Tests

Test Duration Result
loadWithRestriction() 5.263s passed

Standard output

585805     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof 
585805     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.2ns 
585805     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
585977     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
585977     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
585977     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
585977     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
586729     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
591044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 
591075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof 
591075     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 863.3ns