|
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
[Prev in Thread] | Current Thread | [Next in Thread] |