Standard output
19360 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
19360 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.
20923 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
20939 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
20939 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key
20939 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
20955 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from 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
23757 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\smt\tg\middle.key