Standard output
853822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
853822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.7ns
853824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
854075 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
854075 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
854076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
854076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
854845 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
858604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s
858688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
858693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
886360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
886360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.3ns
886361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
889762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
889813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
889815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns