Standard output
13467 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped.
13467 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.
13469 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core.testgen/src/test/resources/testcase/smt/tg/middle.key took 0 ms to parse.
13469 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 536 ms.
14737 WARN Test worker d.u.i.k.n.ParsingFacade 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 took 2 ms to parse.
14738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 538 ms.
17062 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core.testgen/src/test/resources/testcase/smt/tg/middle.key took 0 ms to parse.
17064 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 538 ms.