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

[Camm Maguire]

Greetings, Paul, and thanks as always.  OK, I think I've fixed the
cross-closure-boundary tag-ref bug exposed in your random tester --
thanks!  I'm doing this a bit quickly, and need more time later to
review the logic carefully, but we're already past 2000 successful
tests of the same magnitude (as per your earlier posted instructions,
1000/8 I believe).  I'll leave this running as long as I can and will
report back.  If you would like to confirm too, that would be great!

Take care,

"Paul F. Dietz" <address@hidden> writes:

> 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
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah