summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorDonaldStewart <>2011-01-15 21:48:10 (GMT)
committerLuite Stegeman <luite@luite.com>2011-01-15 21:48:10 (GMT)
commit387a1531dccd766da6b49b7bd5b03dc688348781 (patch)
tree002c79f47cea3881287451d85eddb609347cc9fa /tests
version 0.10.1
Diffstat (limited to 'tests')
-rw-r--r--tests/calls.hs31
-rw-r--r--tests/push-pop.hs579
2 files changed, 610 insertions, 0 deletions
diff --git a/tests/calls.hs b/tests/calls.hs
new file mode 100644
index 0000000..16c2d57
--- /dev/null
+++ b/tests/calls.hs
@@ -0,0 +1,31 @@
+import Yices.Base
+
+main = do
+ print version
+
+ setVerbosity 7
+ setMaxSatInitialCost 99
+ setMaxNumConflictsInMaxSatIteration 100
+ setTypeChecker True
+ setMaxNumIterationsInMaxSat 1000
+ setMaxSatInitialCost 200
+ setArithmeticOnly True
+ setLogFile "x.dat"
+
+ c <- empty
+ reset c
+ dump c
+ push c
+ pop c
+ print =<< inconsistent c
+
+ print =<< check c
+
+ setVerbosity 0
+ print =<< check c
+
+ print =<< getUnsatCoreSize c
+
+ print =<< getModel c
+
+ print =<< getUnsatCore c
diff --git a/tests/push-pop.hs b/tests/push-pop.hs
new file mode 100644
index 0000000..a0e107b
--- /dev/null
+++ b/tests/push-pop.hs
@@ -0,0 +1,579 @@
+import Yices.Base
+
+main = do
+ c <- empty
+ push c
+ push c
+ push c
+ push c
+ pop c
+ pop c
+ pop c
+ pop c
+
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ push c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ pop c
+ dump c