Standard output
661411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
661411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns
661411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
661583 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
661583 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
661598 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
661598 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
662349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
667140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s
667187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
667187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.21ms