Standard output
888523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
888523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.5ns
888524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
888797 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
888799 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
888799 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
888800 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
889477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
893513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s
893584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
893588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
920693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
920693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.2ns
920694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
924136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
924193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
924195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns