Standard output
503952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
503952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.7ns
503953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504089 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504090 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504743 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
508406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s
508448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
508450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.4ns