Standard output
749302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
749302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 503ns
749302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
749412 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749412 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749412 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749412 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
749865 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
753038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s
753100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
753117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
776883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
776883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.1ns
776899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
779682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s
779745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
779745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns