Standard output
921750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
921750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.3ns
921754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
921896 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
921896 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
921896 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
921896 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
922443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
927005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s
927848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
927880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns
960488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
960488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns
960488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
963775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
963822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
963822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns