TestProofStarter

2

tests

0

failures

0

ignored

1m5.36s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 31.587s passed
testDirectProofWithOneStepSimplification() 33.768s passed

Standard output

944628     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key 
944628     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.2ns 
944629     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
948385     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 
948434     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
948436     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.1ns 
978390     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key 
978390     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.2ns 
978391     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
982093     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 
982143     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0 
982145     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2ns