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

Fix performance bug in QuickCheck.

Browse Source 
This would make generators with `number' or `real' in a co-arbitrary
position essentially never terminate.

svn: r16571
This commit is contained in:
Mike Sperber 2009-11-06 14:52:56 +00:00
parent 3159a06389
commit 26ff29b12f
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/deinprogramm/quickcheck/quickcheck.scm
View File

@ -265,7 +265,7 @@
(arbitrary-generator arbitrary-integer) (arbitrary-generator arbitrary-integer)
(arbitrary-generator arbitrary-integer)) (arbitrary-generator arbitrary-integer))
(lambda (r gen) (lambda (r gen)
(let ((fr (rationalize r 1/1000))) (let ((fr (rationalize (inexact->exact r) 1/1000)))
(coarbitrary arbitrary-integer (coarbitrary arbitrary-integer
(numerator fr) (numerator fr)
(coarbitrary arbitrary-integer (coarbitrary arbitrary-integer