Standard output
527389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
527389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.2ns
527389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
527650 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
527650 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
527650 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
527650 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
528197 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
532081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s
532128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
532128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.6ns