external/lift.darcs/_darcs/pristine/examples/random-testing.lisp

   1 (in-package #:lift)
   2
   3 (deftestsuite integer-math () ())
   4
   5 (defrandom-instance an-integer nil (- (random 200) 100))
   6
   7 (addtest (integer-math)
   8   commutivity
   9   (with-random-cases 10 ((a an-integer) (b an-integer))
  10     (format t "~&~a ~a" a b)
  11     (ensure-same (+ a b) (+ b a) :test =)))
  12
  13 (deftestsuite small-positive-integer-math (integer-math)
  14   ())
  15
  16 (addtest (small-positive-integer-math)
  17   commutivity
  18   (with-random-cases 10 ((a an-integer) (b an-integer))
  19     (ensure-same (+ a b) (+ b a) :test =)))
  20
  21 (addtest (small-positive-integer-math)
  22   closedness
  23   (with-random-cases 10 ((a an-integer) (b an-integer))
  24     (ensure (< (+ a b) 15))))
  25
  26 (defrandom-instance an-integer small-positive-integer-math
  27   (1+ (random 10)))
  28
  29 (deftestsuite small-positive-integer-math (integer-math)
  30   ()
  31   (:random-instance an-integer (1+ (random 10))))
  32