Standard output
803383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
803383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.34ms
803383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
803519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
803519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
803519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
803519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
803957 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
807386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
807449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
807465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
837433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
837433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 470.5ns
837448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
841605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s
842496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
842496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns