summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNoah Lavine <nlavine@haverford.edu>2011-12-17 13:05:39 -0500
committerNoah Lavine <nlavine@haverford.edu>2011-12-17 13:05:39 -0500
commit77dd276620ce610cfe33a2409b3366d262201453 (patch)
tree76d5e27fd15890fd81a539129959fd73ac4b3256
parent14654b5b0fe9bfdea7f02c03774bd4f389607f41 (diff)
downloadguile-77dd276620ce610cfe33a2409b3366d262201453.tar.gz
More verify Tests
* test-suite/tests/analyzer.test: test that verify works correctly with multiple expressions.
-rw-r--r--test-suite/tests/analyzer.test6
1 files changed, 6 insertions, 0 deletions
diff --git a/test-suite/tests/analyzer.test b/test-suite/tests/analyzer.test
index 1206caa0b..d75cc3ca9 100644
--- a/test-suite/tests/analyzer.test
+++ b/test-suite/tests/analyzer.test
@@ -141,3 +141,9 @@
(pass-if "(verify #t)"
(true? (go '(verify #t))))
+
+(pass-if "(verify #t #t #t)"
+ (true? (go '(verify #t #t #t))))
+
+(pass-if "(verify #t #f #t)"
+ (not (go '(verify #t #f #t))))