From 798c5ee12fa7f573af24a0f88a0bb9571654b0bd Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 29 Jan 2009 15:43:24 +0000 Subject: [PATCH] changed default-check-attempts and changed output when an exception is raised svn: r13313 --- collects/redex/private/rg.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/redex/private/rg.ss b/collects/redex/private/rg.ss index 3b24973b45..82b4d2b57d 100644 --- a/collects/redex/private/rg.ss +++ b/collects/redex/private/rg.ss @@ -44,7 +44,7 @@ To do a better job of not generating programs with free variables, (define generation-retries 100) -(define default-check-attempts 100) +(define default-check-attempts 1000) (define ascii-chars-threshold 50) (define tex-chars-threshold 500) @@ -735,9 +735,9 @@ To do a better job of not generating programs with free variables, (let-values ([(term bindings) (generator (attempt->size attempt) attempt)]) (if (andmap (λ (bindings) (with-handlers ([exn:fail? (λ (exn) - (fprintf (current-error-port) - "checking ~s raises ~s\n" - term exn) + (fprintf (current-error-port) + "checking ~s raises an exception\n" + term) (raise exn))]) (property term bindings))) (cond [(and match (match term))