Standard output
913493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
913493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
913494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
913666 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
913667 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
913668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
913668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
914439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
918194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s
918262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
918268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
947990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/proofStarter/CC/project.key
947991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.9ns
947991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
951697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s
951769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
951771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns