diff --git a/ansi-tests/random-type-prop-tests.lsp b/ansi-tests/random-type-prop-tests.lsp index f6dc2cd4bac68f58d8063bbf2008ad31a6ad905e..16484237c1cdc733b390c6afb8fcef9e8e471c00 100644 --- a/ansi-tests/random-type-prop-tests.lsp +++ b/ansi-tests/random-type-prop-tests.lsp @@ -11,4 +11,8 @@ (load "random-type-prop-tests-02.lsp") (load "random-type-prop-tests-03.lsp") (load "random-type-prop-tests-04.lsp") +(load "random-type-prop-tests-05.lsp") +(load "random-type-prop-tests-06.lsp") +(load "random-type-prop-tests-07.lsp") +(load "random-type-prop-tests-08.lsp")