summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNoah Lavine <nlavine@haverford.edu>2011-12-13 19:15:30 -0500
committerNoah Lavine <nlavine@haverford.edu>2011-12-13 19:15:30 -0500
commita568ece7736a918d8c7f95e58c9737465be42020 (patch)
treee4b2db4bd86050d3f6506db99f582571291c5fcf
parent71ba0cb43e650bb63a20416a4c0f593763429a7c (diff)
downloadguile-a568ece7736a918d8c7f95e58c9737465be42020.tar.gz
Test value-sets
* test-suite/tests/analyzer.test: add tests for (analyzer value-sets)
-rw-r--r--test-suite/tests/analyzer.test25
1 files changed, 24 insertions, 1 deletions
diff --git a/test-suite/tests/analyzer.test b/test-suite/tests/analyzer.test
index 21bbaa3d0..d4bd8a072 100644
--- a/test-suite/tests/analyzer.test
+++ b/test-suite/tests/analyzer.test
@@ -1,5 +1,6 @@
(use-modules (test-suite lib)
- (analyzer set-queue))
+ (analyzer set-queue)
+ (analyzer value-sets))
;; test the set queue functions
@@ -41,3 +42,25 @@
(begin
(emptying-set-queue! sq (lambda (x) (set! lst (cons x lst))))
(equal? lst '(3 2 1))))
+
+;; test the value set functions
+
+(define nothing (value-set-nothing))
+(define anything (value-set-anything))
+(define simple (value-set-with-values 1 2 3))
+
+(pass-if "value-set-can-be-anything?"
+ (value-set-can-be-anything? anything))
+
+(pass-if "value-set-value-satisfying"
+ (not (not (value-set-value-satisfying simple number?))))
+
+(pass-if "value-set-value-satisfying"
+ (not (value-set-value-satisfying nothing number?)))
+
+(pass-if "value-set-has-values?"
+ (not (value-set-has-values? nothing)))
+(pass-if "value-set-has-values?"
+ (value-set-has-values? anything))
+(pass-if "value-set-has-values?"
+ (value-set-has-values? simple))