|
From: | Paul F. Dietz |
Subject: | [Gcl-devel] Re: Improvement to GCL's EXPT? |
Date: | Mon, 11 Apr 2005 19:22:08 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20041217 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |