Standard output
530319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
530319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.5ns
530319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
530475 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
530491 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
530491 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
530491 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
531179 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
535118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
535165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
535165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.3ns