Standard output
904603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
904603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.2ns
904603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
904744 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
904744 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
904744 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
904744 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
905281 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
909722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
910707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
910738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
940099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
940099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns
940099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
943358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
943421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
943421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns