Standard output
775541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
775541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns
775541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
775666 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
775666 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
775666 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
775666 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
776103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
779339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s
779386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
779386 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
803729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
803729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns
803729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
806668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
806730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
806730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns