From 701bb02c80e42df6d9f15345256671c41b706c0d Mon Sep 17 00:00:00 2001
From: Karsten Poeck <karsten.poeck@gmail.com>
Date: Sun, 5 Jun 2022 23:15:28 +0200
Subject: [PATCH] Quit for clasp after running

---
 run-random-type-tests.lisp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/run-random-type-tests.lisp b/run-random-type-tests.lisp
index 1afea11b..69f95893 100644
--- a/run-random-type-tests.lisp
+++ b/run-random-type-tests.lisp
@@ -80,6 +80,8 @@ test-types shows the error for every pair
             actual-size actual-variables actual-iterations (lisp-implementation-type))
     (test-random-integer-forms actual-size actual-variables actual-iterations)))
 
+#+clasp (ext:quit 0)
+
 #|
 4) Additional testing can be done with test-types and test-type-triples. The latter has its own pruner, prune-type-triple.
 
-- 
GitLab