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

fix real-in naming test cases

Browse Source 
original commit: 60516049edd6f3dc25f86e77303d2e790379b4fc
This commit is contained in:
Robby Findler 2014-07-28 18:31:52 -05:00
parent 91eb4c90ac
commit 6f008db1b2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl
View File

@ -4171,7 +4171,8 @@ so that propagation occurs.
(test-name '(>/c 5) (>/c 5))
(test-name '(between/c 5 6) (between/c 5 6))
(test-name '(integer-in 0 10) (integer-in 0 10))
(test-name '(between/c 1 10) (real-in 1 10))
(test-name '(real-in 1 10) (real-in 1 10))
(test-name '(between/c 1 10) (between/c 1 10))
(test-name '(string-len/c 3) (string/len 3))
(test-name 'natural-number/c natural-number/c)
(test-name #f false/c)