[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Random tester status

From: Camm Maguire
Subject: Re: [Gcl-devel] Random tester status
Date: 11 Nov 2003 09:46:40 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


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

> Camm Maguire wrote:
> > Great Paul!  Thanks *very* much for your thorough testing work.  If
> > possible, I'd really like to get the success rates even or higher than
> > the best you've seen.  If it becomes burdensome and more CPU is
> > needed, please let me know and also how you invoke the tests.
> At this point when the failure rate drops this low, it's time to add
> more things to the random generator.

Drat!  Just *anything* to deny me a few bragging rights for gcl :-).

Jokes aside, thank you *very* much for all these reports!  Should be
fixed now in CVS HEAD and 2.6.1.

Take care,

> I ran it through another 80,000 or so iterations, with no failures,
> so I did that, adding FUNCALL and APPLY forms to FLET/LABELS functions.
> This brought out this failure (added to misc.lsp):
> ;;; gcl (9 Nov 2003) bug
> ;;; Error in FUNCALL [or a callee]: Caught fatal error [memory may be damaged]
> (deftest misc.160
>    (funcall
>     (compile nil
>           '(lambda (c)
>              (declare (notinline + funcall))
>              (+ (labels ((%f1 () -14)) (funcall #'%f1))
>                 (flet ((%f2 () (floor c))) (funcall #'%f2)))))
>     0)
>    -14)
> Sooner or later I want to completely rewrite the random tester to be more 
> object
> oriented, and so the pruner acts on an intermediate representation rather
> than on the lisp forms themselves.  But I may wait on this until the 
> compliance
> test proper is more complete.
> I'll write up some instructions for running the generator in the near future,
> and add a makefile entry.
>       Paul

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]