Standard output
850127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
850130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.96ms
850135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
850349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
850349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
850349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
850349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
850973 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
854596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s
854654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
854656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
879996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
879997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.64ns
879998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
883315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
883365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
883367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns