Standard output
762685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
762685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.5ns
762688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
762815 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
762815 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
762830 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
762830 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
763299 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
766588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s
766650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
766650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns
791067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
791067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.8ns
791067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
794065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s
794112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
794128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns