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

Forgot default value for #:retries in check-reduction-relation.

Browse Source 
svn: r13485
This commit is contained in:
Casey Klein 2009-02-07 13:43:15 +00:00
parent 6d5f966019
commit 7bcf4e69a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/redex.scrbl
View File

@ -1125,7 +1125,7 @@ term that does not match @scheme[pattern].}
[relation reduction-relation?]
[property (-> any/c any/c)]
[#:attempts attempts natural-number/c 1000]
[#:retries retries natural-number/c])
[#:retries retries natural-number/c 100])
void?]{
Tests @scheme[relation] as follows: for each case of @scheme[relation],
@scheme[check-reduction-relation] generates @scheme[attempts] random