Standard output
748905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
748905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.6ns
748905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
749046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749609 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
752760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s
752839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
752839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
776718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
776718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.2ns
776718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
779564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
779611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
779611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns