Standard output
558952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
558952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns
558968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
559124 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559124 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559124 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559124 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
560049 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
564380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s
564443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
564443 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.5ns