Re: [Sbcl-commits] master: join-equality-constraints: better growth termination
Stas Boukarev <[email protected]> Wed, 1 Apr 2026 18:46:46 +0300
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <CAF63=12AawpA2wCKi+KZq=NBsKTH4Hah45zK1bXy9gmVrVE4yA@mail.gmail.com> |
Using: (reduce-timeout '(lambda ()) 0.1) The timeout might need to be adjusted depending on the normal compilation time. Which would make it slower, obviously. (Starting with a low timeout and increasing if it finds something wrong is probably the best way). Inlined functions might have to be manually inlined, which sometimes stops the test case from working, turning into FLET might be an option. On Wed, Apr 1, 2026 at 6:39 PM Douglas Katzman <[email protected]> wrote: > > > > On Wed, Apr 1, 2026 at 11:15 AM Stas Boukarev <[email protected]> wrote: >> >> I can give you a tool that does automatic test-case reduction. >> > that would be appreciated _______________________________________________ Sbcl-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/sbcl-devel
reduce.lisp
(application/octet-stream, 3.2 KB) - not displayed