Standard output
17604 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
17604 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.
17604 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key
19075 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core.testgen\src\test\resources\testcase\smt\tg\src\Middle.java
19090 DEBUG Test worker d.u.i.k.s.TermLabelSettings TermLabelSettings: Failure while reading the setting "UseOriginLabels".Using the default value: true.The string read was: null
19106 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
21935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23ns
21935 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key