[Top][All Lists]

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

Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0

From: Matt Kaufmann
Subject: Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0
Date: Sat, 10 Aug 2002 15:42:18 -0500 (CDT)

P.S. I forgot to answer this:

>> Is there a shorter
>> regression test that 3 hours???

Yes.  The test "make certify-books" has taken about 45 minutes on a fast
machine.  Or you can just start up ACL2 and type :mini-proveall <return> and
get a reasonable test that takes a few seconds.  There are ways to do tests
between those lengths that I can tell you about if you're interested.

-- Matt

reply via email to

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