Standard output
960982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
960982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns
960983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
961252 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
961252 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
961253 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
961253 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
961917 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
966128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
966198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
966200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
993950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
993950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.5ns
993951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
997788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s
997858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
997860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns