Standard output
943295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
943295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.5ns
943295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
943482 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
943482 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
943482 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
943482 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
944139 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
948363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
948442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
948442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
978757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
978757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.6ns
978773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
982260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
982322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
982322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20ns