Standard output
940240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
940240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.8ns
940240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
940407 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
940407 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
940407 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
940407 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
941028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
948973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.73s
949051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
949051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
978556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
978556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.7ns
978556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
981802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
981865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
981865 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns