diff --git a/run-random-type-tests.lisp b/run-random-type-tests.lisp index 69f95893a5ba0beb5848e6e6ae2ccf6319608cb4..77625de6dc237aaaddfedd844c3c6a4272353a0c 100644 --- a/run-random-type-tests.lisp +++ b/run-random-type-tests.lisp @@ -62,6 +62,17 @@ test-types shows the error for every pair #+clozure (ccl:getenv parameter) ) +#+asdf +(defun quit-random-test (code) + (uiop:quit code)) + +#-asdf +(defun quit-random-test (code) + #+allegro (cl-user::exit) + #+(or cmu sbcl gcl armedbear clisp clozure ecl) (cl-user::quit) + #+clasp (ext:quit 0) + ) + (defun get-env-parameter-as-number (parameter) (let ((value (get-env-parameter parameter))) (if value @@ -71,16 +82,23 @@ test-types shows the error for every pair (let* ((default-size 20) (default-variables 4) (default-iterations 10000) - (actual-size (or (get-env-parameter-as-number "random_int_size") default-size)) - (actual-variables (or (get-env-parameter-as-number "random_int_variables") default-variables)) - (actual-iterations (or (get-env-parameter-as-number "random_int_iterations") default-iterations)) + (env-size "random_int_size") + (env-variables "random_int_variables") + (env-iterations "random_int_iterations") + (actual-size (or (get-env-parameter-as-number env-size) default-size)) + (actual-variables (or (get-env-parameter-as-number env-variables) default-variables)) + (actual-iterations (or (get-env-parameter-as-number env-iterations) default-iterations)) (*random-state* (make-random-state t))) (handler-bind ((style-warning #'muffle-warning)) (format t "Running test-random-integer-forms with size: ~a variables: ~a iterations: ~a on implementation ~a ~%" actual-size actual-variables actual-iterations (lisp-implementation-type)) + (format t "Set the following environment variables to modify: ~a ~a ~a.~%" + env-size env-variables env-iterations) (test-random-integer-forms actual-size actual-variables actual-iterations))) -#+clasp (ext:quit 0) +#-dont-quit +(progn + (quit-random-test 0)) #| 4) Additional testing can be done with test-types and test-type-triples. The latter has its own pruner, prune-type-triple.