Standard output
896153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
896153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.9ns
896155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
896369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
896371 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
896372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
896372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
897080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
900941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
901007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
901010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
931238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
931239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.8ns
931240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
934665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s
934715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
934717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns