Standard output
14198 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
14198 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.
14200 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/smt/tg/middle.key
15609 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core.testgen/src/test/resources/testcase/smt/tg/src/Middle.java
15618 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
15621 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
18054 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.4ns
18055 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/smt/tg/middle.key