From 7533bccf225e32d32d9501bf984ebe6e680c8915 Mon Sep 17 00:00:00 2001 From: matt knox Date: Fri, 26 Aug 2011 10:01:21 -0700 Subject: [PATCH] fixed bug in factcheck --- factcheck/factcheck.factor | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/factcheck/factcheck.factor b/factcheck/factcheck.factor index 9c68af3..d766981 100644 --- a/factcheck/factcheck.factor +++ b/factcheck/factcheck.factor @@ -8,7 +8,7 @@ IN: factcheck : gen-bool ( -- ? ) gen-integer even? ; ! A quotation generating a random byte. -: gen-byte ( -- n ) gen-integer 256 ; +: gen-byte ( -- n ) gen-integer 256 mod ; ! A quotation generating a random character. : gen-char ( -- ch ) gen-integer 128 mod ; @@ -22,9 +22,9 @@ IN: factcheck ! If the fact holds true for the generated values, print success. ! Otherwise, print the offending values. :: for-all ( fact: ( ..a -- ? ) generator: ( -- ..a ) -- ) - 100 iota [ drop + 100 iota [ drop generator { } output>sequence :> generated generated fact input ok? ok? [ "*** Failed!" print generated . ] unless ok? not - ] find drop not [ "+++ OK, passed 100 tests." print ] when ; inline \ No newline at end of file + ] find drop not [ "+++ OK, passed 100 tests." print ] when ; inline