Standard output
926029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
926030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.7ns
926031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
926284 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
926285 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
926285 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
926286 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
926908 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
930909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s
930979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
930984 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
961508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
961508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.2ns
961509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
965125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s
965187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
965188 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns