[clean-list] How to show test result and change number of test

[Lee Ho Yeung]

when i try the following, it only show passed after 1000 test one case
rejected and repeated with a few lines, but do not show f x = if ( x <= 0) 1
(x*f(x-1)) as paper systematic synthesis of functions

which steps do i miss?

module martin001
import gast, StdEnv
prop1 :: Fun -> Bool
prop1 d = ~(f 2 == 2 && f 4 == 24 && f 6 == 720) where f = apply d
Start = test prop1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.science.ru.nl/pipermail/clean-list/attachments/20110409/c2efcb38/attachment.html>