TestCvc4
|
-
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 |
| 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
675770 WARN Test worker d.u.i.k.s.t.TestCvc4 Warning: CVC4 (Legacy Translation) is not installed, tests skipped. 675771 WARN Test worker d.u.i.k.s.t.TestCvc4 Maybe use JVM system property "cvc4SolverPath" to define the path to the CVC4 command.