From 318130b71616c40c7df27f09371d08971ed15207 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 12 May 2014 09:26:43 -0500 Subject: [PATCH] fix positive integer generator to not generate zero --- racket/collects/racket/contract/private/generate-base.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/racket/collects/racket/contract/private/generate-base.rkt b/racket/collects/racket/contract/private/generate-base.rkt index d97d041b00..e5e832b546 100644 --- a/racket/collects/racket/contract/private/generate-base.rkt +++ b/racket/collects/racket/contract/private/generate-base.rkt @@ -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)