Avoid invalid interval designators in random integer types.

marcoheisig · Jan 14, 2019 · 395e45f · 395e45f
1 parent 4ec47f0
commit 395e45f
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/test-suite/random-types.lisp b/test-suite/random-types.lisp
@@ -86,9 +86,11 @@
         `(unsigned-byte ,(one-of (1+ (random 64)) '*))
         `(signed-byte ,(one-of (1+ (random 64)) '*))
         `(mod ,(1+ (random 4)))
-        `(integer ,(one-of lower-bound (list lower-bound) '*))
-        `(integer ,(one-of lower-bound (list lower-bound) '*)
-                  ,(one-of upper-bound (list upper-bound) '*))))))
+        `(integer ,(one-of lower-bound (list (1- lower-bound)) '*))
+        `(integer ,(one-of lower-bound (list (1- lower-bound)) '*) *)
+        `(integer * ,(one-of upper-bound (list (1+ upper-bound)) '*))
+        `(integer ,(one-of lower-bound (list (1- lower-bound)) '*)
+                  ,(one-of upper-bound (list (1+ upper-bound)) '*))))))
 
 (defun random-real-type-specifier ()
   (flet ((random-real-of-type (type)