[Gcl-devel] Re: Improvement to GCL's EXPT?

[Paul F. Dietz]

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