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

fix positive integer generator to not generate zero

Browse Source
This commit is contained in:
Robby Findler 2014-05-12 09:26:43 -05:00
parent be04593a31
commit 318130b716
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
racket/collects/racket/contract/private/generate-base.rkt
View File

@ -51,8 +51,8 @@
[1/10 (oneof (list (expt 2 32) (expt 2 64)
(- (expt 2 31)) (- (expt 2 63))
(- (expt 2 31) 1) (- (expt 2 63) 1)))]
[3/10 (rand-range 0 200)]
[else (rand-range 0 2000000000)]))
[3/10 (rand-range 1 200)]
[else (rand-range 1 2000000000)]))
(define (rational-gen fuel)
(/ (integer-gen fuel)