suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add test case for 56a313caa

Browse Source 
Also bring gen-tests.rkt downn below 102 columns wide
This commit is contained in:
Robby Findler 2013-08-26 03:41:21 -05:00
parent 1e652b842f
commit bc16aa64e9
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/redex-pkgs/redex-test/redex/tests/gen-test.rkt
View File

@ -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