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

changed default-check-attempts and changed output when an exception is raised

Browse Source 
svn: r13313
This commit is contained in:
Robby Findler 2009-01-29 15:43:24 +00:00
parent 466df5207b
commit 798c5ee12f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/redex/private/rg.ss
View File

@ -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))