Standard output
17769 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
17769 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.
17769 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key
19206 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
19222 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
19238 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
22239 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key