TestProofStarter

2

tests

0

failures

0

ignored

1m1.04s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 29.317s passed
testDirectProofWithOneStepSimplification() 31.727s passed

Standard output

900807     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
900807     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.8ns 
900823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
904153     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
904216     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
904216     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns 
932531     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
932531     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.7ns 
932531     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
935737     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
935784     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
935799     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns