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 |