Standard output
17639 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
17639 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.
17639 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key
19212 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
19228 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
19228 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
22074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.8ns
22074 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\tg\middle.key