TestProofStarter

2

tests

0

failures

0

ignored

1m12.73s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 34.473s passed
testDirectProofWithOneStepSimplification() 38.256s passed

Standard output

1524217    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
1524217    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns 
1524217    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1530106    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.89s 
1530168    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
1530184    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 
1562454    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key 
1562454    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.5ns 
1562454    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1568008    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 
1568055    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
1568055    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns