Re: [Gcl-devel] Re: gcl and the random tester

[Paul F. Dietz]

Camm Maguire wrote:
> Greetings!  Should be fixed now Paul.  Please confirm.  There is
> another issue regarding cross closure tag references which needs to be
> nailed down.  I have a large form that triggered the error I believe
> you were seeing.  It would be nice if you knew how to prune it
> perchance, which you appear to know given your postings.

Normally I use the automatic pruner, cl-test::prune-results,
but that doesn't work if the function is causing the lisp
to terminate.  When that happens, I prune manually by commenting
out chunks of the code (perhaps replacing them by simpler forms)
until nothing I can remove preserves the failure.

        Paul