Standard output
25661 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
25661 WARN Test worker d.u.i.k.t.s.t.TestTestgen Maybe use JVM system property "z3SolverPath" to define the path to the Z3 command.
25661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\smt\tg\middle.key
25661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.4ns
25676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
31867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.18s
32055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Middle[Middle::middle(int,int,int)].JML normal_behavior operation contract.0
32164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ns