diff options
author | Noah Lavine <nlavine@haverford.edu> | 2011-12-17 13:05:39 -0500 |
---|---|---|
committer | Noah Lavine <nlavine@haverford.edu> | 2011-12-17 13:05:39 -0500 |
commit | 77dd276620ce610cfe33a2409b3366d262201453 (patch) | |
tree | 76d5e27fd15890fd81a539129959fd73ac4b3256 | |
parent | 14654b5b0fe9bfdea7f02c03774bd4f389607f41 (diff) | |
download | guile-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.test | 6 |
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)))) |