Camm Maguire wrote:
Paul, how does one instruct your random tester to zero in on a particular function like expt?
This is properly the function of the random type prop tester. In the ansi-tests directory:
(load "gclload1.lsp") (compile-and-load "random-int-form.lsp") (compile-and-load "random-type-prop.lsp")
and then define some tests for EXPT (I haven't done that yet; they'd go in random-type-prop-tests-03.lsp).
What this tester does is compare the result of applying a function to some arguments vs. compiling it with some of the arguments being either constants or declared variables. If the EXPT rules you're talking about are type-driven this will exercise them.
Paul
_______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
