Standard output
884178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
884179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.3ns
884179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
884366 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
884366 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
884366 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
884366 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
885073 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
888974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
889035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
889036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
917723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
917724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.5ns
917725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
921398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
921457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
921459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns