TestTestgen
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testMiddle() | 4.608s | passed |
Standard output
16048 WARN Test worker d.u.i.k.t.s.t.TestTestgen Warning: Z3_CE is not installed, tests skipped. 16051 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.