diff options
author | Noah Lavine <nlavine@haverford.edu> | 2011-12-13 19:15:30 -0500 |
---|---|---|
committer | Noah Lavine <nlavine@haverford.edu> | 2011-12-13 19:15:30 -0500 |
commit | a568ece7736a918d8c7f95e58c9737465be42020 (patch) | |
tree | e4b2db4bd86050d3f6506db99f582571291c5fcf | |
parent | 71ba0cb43e650bb63a20416a4c0f593763429a7c (diff) | |
download | guile-a568ece7736a918d8c7f95e58c9737465be42020.tar.gz |
Test value-sets
* test-suite/tests/analyzer.test: add tests for (analyzer value-sets)
-rw-r--r-- | test-suite/tests/analyzer.test | 25 |
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)) |