From bc16aa64e9e99d12b026b5da5e5f0bb70a9e3423 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 26 Aug 2013 03:41:21 -0500 Subject: [PATCH] add test case for 56a313caa Also bring gen-tests.rkt downn below 102 columns wide --- .../redex-test/redex/tests/gen-test.rkt | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/gen-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/gen-test.rkt index 3df91e29bb..616b53cf60 100644 --- a/pkgs/redex-pkgs/redex-test/redex/tests/gen-test.rkt +++ b/pkgs/redex-pkgs/redex-test/redex/tests/gen-test.rkt @@ -31,7 +31,8 @@ #t) (test (check-dq (dq '() (list `(list a) `(list number))) (make-hash) L0 (hash)) #t) - (test (check-dq (dq '() (list `(list 2) `(list variable-not-otherwise-mentioned))) (make-hash) L0 (hash)) + (test (check-dq (dq '() (list `(list 2) `(list variable-not-otherwise-mentioned))) + (make-hash) L0 (hash)) #t) (test (check-dq (dq '() (list `(list a b) `(list a number))) (make-hash) L0 (hash)) #t) @@ -551,6 +552,21 @@ (test (generate-term l #:satisfying (t 6 7) = 1 +inf.0) #f)) +(let () + (define-judgment-form L0 + #:mode (J I I) + [(J any_1 any_1)]) + + (define f (generate-term L0 #:satisfying (J any_2 any_3))) + + (let/ec k + (for ([i (in-range 100)]) + (define t (f 10)) + (unless (equal? (list-ref t 1) (list-ref t 2)) + (test (list-ref t 1) (list-ref t 2)) + ;; after a single test failure, stop running the loop + (k (void)))))) + (let () (define-language L