TestProofStarter

2

tests

0

failures

0

ignored

1m9.23s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 32.131s passed
testDirectProofWithOneStepSimplification() 37.101s passed

Standard output

1335655    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
1335655    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns 
1335655    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1340648    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 
1340695    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
1340711    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns 
1372729    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
1372729    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns 
1372729    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1378418    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.69s 
1378465    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
1378465    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.2ns