Standard output
945008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
945008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.7ns
945008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
945165 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
945165 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
945165 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
945165 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
945884 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
949807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s
949901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
949901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
979340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
979340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.2ns
979340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
983014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
983061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
983061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns