57 |
;;; (compile-and-load "random-type-prop.lsp") |
;;; (compile-and-load "random-type-prop.lsp") |
58 |
;;; (in-package :cl-test) |
;;; (in-package :cl-test) |
59 |
;;; #+sbcl (setq *default-arg-the* nil) ;; This reduces the rate at which the sbcl IR2 type check bug occurs |
;;; #+sbcl (setq *default-arg-the* nil) ;; This reduces the rate at which the sbcl IR2 type check bug occurs |
60 |
|
;;; (load "random-type-prop-tests.lsp") |
61 |
;;; (let (*catch-errors*) (do-test '<testname>)) |
;;; (let (*catch-errors*) (do-test '<testname>)) |
62 |
;;; or (let (*catch-errors*) (do-tests)) |
;;; or (let (*catch-errors*) (do-tests)) |
63 |
;;; |
;;; |