TestProofStarter

2

tests

0

failures

0

ignored

44.302s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 20.252s passed
testDirectProofWithOneStepSimplification() 24.050s passed

Standard output

676727     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key 
676727     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.6ns 
676728     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
676932     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
676933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
676933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
676933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
677519     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
680627     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 
680674     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
680676     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
700757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key 
700757     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.9ns 
700758     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
703409     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
703449     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
703450     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns