>> I tried replacing kill(all) with kill(allbut(props)) in the testsuite files:
>> - didn't fix the trigsimp() problem
>> - made one of the rtestode.mac cases run "forever"
>
> There's some junk accumulating on PROPS during the testsuite run.
> Adding
>
> kill(g);
> done;
> to the beginning of rtestode.mac makes it succeed with SBCL, CMUCL and
> CLISP (don't know about GCL). Trying to run it again in the same
> session gives some failures, though.
>
I have tested this on clisp and gcl, and committed the changes to CVS.