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

fix performance problem in list-machine test suite

Browse Source 
this was uncovered by the recent change to redex-check's
default strategy
This commit is contained in:
Robby Findler 2014-03-26 09:39:21 -05:00
parent b9e7d087ba
commit 2fda610c54
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/test.rkt
View File

@ -75,10 +75,13 @@
(redex-check
list-machine-typing
τ
(for* ([τ_1 (in-list (judgment-holds (⊂ τ_1 τ) τ_1))]
[τ_2 (in-list (judgment-holds (⊂ τ_2 τ) τ_2))])
(for/and ([τ_3 (judgment-holds (⊔ ,τ_1 ,τ_2 τ_3) τ_3)])
(judgment-holds (⊂ τ_3 τ))))
(let ()
(define subtypes (judgment-holds (⊂ τ_s τ) τ_s))
(or (null? subtypes)
(let ([τ_1 (list-ref subtypes (random (length subtypes)))]
[τ_2 (list-ref subtypes (random (length subtypes)))])
(for/and ([τ_3 (judgment-holds (⊔ ,τ_1 ,τ_2 τ_3) τ_3)])
(judgment-holds (⊂ τ_3 τ))))))
#:attempts 100)
(test-equal (judgment-holds (Γ-⊂ (x : nil empty) (x : nil empty)))