summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/examples/ex24.hs16
-rw-r--r--tests/examples/ex5.ys18
-rw-r--r--tests/examples/ex6.ys18
3 files changed, 0 insertions, 52 deletions
diff --git a/tests/examples/ex24.hs b/tests/examples/ex24.hs
deleted file mode 100644
index 6327503..0000000
--- a/tests/examples/ex24.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-import Yices.Painless.Language
-
-main = print =<< solve p
-
-data S = S1 | S2 | S3
- deriving (Show, Enum)
-
-p x1 x2 x3 x4 =
- and
- [ (/=*) x1 x2
- , (/=*) x1 x3
- , (/=*) x1 x4
- , (/=*) x2 x3
- , (/=*) x2 x4
- , (/=*) x3 x4
- ]
diff --git a/tests/examples/ex5.ys b/tests/examples/ex5.ys
deleted file mode 100644
index e813861..0000000
--- a/tests/examples/ex5.ys
+++ /dev/null
@@ -1,18 +0,0 @@
-
-(define-type pc (scalar sleeping trying critical))
-(define f::(-> pc pc))
-(define g::(-> pc pc))
-(define x1::pc)
-(define x2::pc)
-(define x3::pc)
-(define x4::pc)
-(define x5::pc)
-(define x6::pc)
-
-
-
-(assert (/= (g (f x1)) (g (f x2))))
-(assert (= x1 x3))
-(assert (= x1 x4))
-(assert (= x3 x2))
-
diff --git a/tests/examples/ex6.ys b/tests/examples/ex6.ys
deleted file mode 100644
index 0bd00f3..0000000
--- a/tests/examples/ex6.ys
+++ /dev/null
@@ -1,18 +0,0 @@
-
-(define-type pc (scalar sleeping trying critical))
-(define f::(-> pc pc))
-(define g::(-> pc pc))
-(define x1::pc)
-(define x2::pc)
-(define x3::pc)
-(define x4::pc)
-(define x5::pc)
-(define x6::pc)
-
-
-
-(assert (= x1 x3))
-(assert (= x1 x4))
-(assert (= x3 x2))
-(assert (/= (g (f x1)) (g (f x2))))
-