Standard output
439919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
439919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.5ns
439919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
440028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
440028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
440028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
440028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
440670 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
444032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
444079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
444079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.3ns