Standard output
983968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
983968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.2ns
983968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
984176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
984176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
984176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
984176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
984904 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
993553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 9.57s
993631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
993631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
1024949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1024949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns
1024949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1028413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
1028475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1028475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns