TestTestgen

1

tests

0

failures

0

ignored

4.981s

duration

100%

successful

Tests

Test Duration Result
testMiddle() 4.981s passed

Standard output

17604      WARN  Test worker     d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped. 
17604      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. 
17604      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\smt\tg\middle.key 
19075      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 
19090      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 
19106      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 
21935      DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23ns 
21935      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\smt\tg\middle.key