TestProofStarter

2

tests

0

failures

0

ignored

44.091s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 21.160s passed
testDirectProofWithOneStepSimplification() 22.931s passed

Standard output

739380     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
739380     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.6ns 
739380     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
742329     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 
742407     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
742407     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns 
762294     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
762294     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.6ns 
762309     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
765231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 
765263     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
765278     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.4ns