Standard output
760438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/loopScopeInvRule/Test.key
760438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.4ns
760439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
760639 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
760639 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
760640 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
760640 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
761535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
766972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.53s
767018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
767021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 64.2ns