TestProofStarter

2

tests

0

failures

0

ignored

52.486s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 25.426s passed
testDirectProofWithOneStepSimplification() 27.060s passed

Standard output

788582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
788582     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.8ns 
788582     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
791506     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 
791537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
791537     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 
815612     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
815612     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.8ns 
815612     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
818685     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
818732     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
818732     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns