Standard output
747738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
747738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns
747738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
747864 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
747864 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
747864 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
747864 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
748301 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
751521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s
751584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
751584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
775456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
775456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.1ns
775456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
778301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
778348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
778348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns