From 77dd276620ce610cfe33a2409b3366d262201453 Mon Sep 17 00:00:00 2001 From: Noah Lavine Date: Sat, 17 Dec 2011 13:05:39 -0500 Subject: More verify Tests * test-suite/tests/analyzer.test: test that verify works correctly with multiple expressions. --- test-suite/tests/analyzer.test | 6 ++++++ 1 file changed, 6 insertions(+) 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)))) -- cgit v1.2.3