Standard output
771560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
771560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.7ns
771575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
771685 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
771685 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
771685 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
771685 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
772138 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
775390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s
775453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
775453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns
800201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
800201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns
800217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
803031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s
803078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
803078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns