TestZ3
|
-
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testAdd1() | - | ignored |
| testAllex1() | - | ignored |
| testAllex2() | - | ignored |
| testAllex3() | - | ignored |
| testAndnot() | - | ignored |
| testAndornot() | - | ignored |
| testAndornot2() | - | ignored |
| testBProd1() | - | ignored |
| testBProd2() | - | ignored |
| testBProd3() | - | ignored |
| testBSum1() | - | ignored |
| testBSum2() | - | ignored |
| testBSum3() | - | ignored |
| testBinderPred2() | - | ignored |
| testBinderPred3() | - | ignored |
| testDiv1() | - | ignored |
| testDiv3() | - | ignored |
| testDiv5() | - | ignored |
| testDiv6() | - | ignored |
| testEqual1() | - | ignored |
| testEqual2() | - | ignored |
| testEqui1() | - | ignored |
| testEqui2() | - | ignored |
| testImply() | - | ignored |
| testImply2() | - | ignored |
| testImply3() | - | ignored |
| testLogicalIte1() | - | ignored |
| testLogicalIte2() | - | ignored |
| testOrnot() | - | ignored |
| testSubsort1() | - | ignored |
| testSubsort2() | - | ignored |
Standard output
788426 WARN Test worker d.u.i.k.s.t.TestZ3 Warning: Z3 (Legacy Translation) is not installed, tests skipped. 788426 WARN Test worker d.u.i.k.s.t.TestZ3 Maybe use JVM system property "z3SolverPath" to define the path to the Z3 command.