Standard output
954640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
954640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns
954640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
954828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
954828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
954828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
954828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
955421 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
959596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
959674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
959674 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
987068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
987068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.3ns
987068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
990305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
990351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
990351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns