From a568ece7736a918d8c7f95e58c9737465be42020 Mon Sep 17 00:00:00 2001 From: Noah Lavine Date: Tue, 13 Dec 2011 19:15:30 -0500 Subject: Test value-sets * test-suite/tests/analyzer.test: add tests for (analyzer value-sets) --- test-suite/tests/analyzer.test | 25 ++++++++++++++++++++++++- 1 file changed, 24 insertions(+), 1 deletion(-) 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)) -- cgit v1.2.3