+
+
+(def-suite before-test-suite :description "Suite for before test")
+
+(def-test before-0 (:suite before-test-suite)
+ (pass))
+
+(def-test before-1 (:depends-on (:before before-0)
+ :suite before-test-suite)
+ (fail))
+
+(def-suite before-test-suite-2 :description "Suite for before test")
+
+(def-test before-2 (:depends-on (:before before-3)
+ :suite before-test-suite-2)
+ (pass))
+
+(def-test before-3 (:suite before-test-suite-2)
+ (pass))
+
+(def-test before ()
+ (with-test-results (results before-test-suite)
+ (is (some #'test-skipped-p results)))
+
+ (with-test-results (results before-test-suite-2)
+ (is (every #'test-passed-p results))))
+
+
+;;;; dependencies with symbol
+(def-test dep-with-symbol-first (:suite test-suite)
+ (pass))
+
+(def-test dep-with-symbol-dependencies-not-met (:depends-on (not dep-with-symbol-first)
+ :suite test-suite)
+ (fail "Error in the test of the test, this should not ever happen"))
+
+(def-test dep-with-symbol-depends-on-ok (:depends-on dep-with-symbol-first :suite test-suite)
+ (pass))
+
+(def-test dep-with-symbol-depends-on-failed-dependency (:depends-on dep-with-symbol-dependencies-not-met
+ :suite test-suite)
+ (fail "No, I should not be tested becuase I depend on a test that in its turn has a failed dependecy."))
+
+(def-test dependencies-with-symbol ()
+ (with-test-results (results dep-with-symbol-first)
+ (is (some #'test-passed-p results)))
+
+ (with-test-results (results dep-with-symbol-depends-on-ok)
+ (is (some #'test-passed-p results)))
+
+ (with-test-results (results dep-with-symbol-dependencies-not-met)
+ (is (some #'test-skipped-p results)))
+
+ ;; No failure here, because it means the test was run.
+ (with-test-results (results dep-with-symbol-depends-on-failed-dependency)
+ (is (not (some #'test-failure-p results)))))
+
+
+;;;; test for-all
+
+(def-test gen-integer ()
+ (for-all ((a (gen-integer)))
+ (is (integerp a))))
+
+(def-test for-all-guarded ()
+ (for-all ((less (gen-integer))
+ (more (gen-integer) (< less more)))
+ (is (< less more))))
+
+(def-test gen-float ()
+ (macrolet ((test-gen-float (type)
+ `(for-all ((unbounded (gen-float :type ',type))
+ (bounded (gen-float :type ',type :bound 42)))
+ (is (typep unbounded ',type))
+ (is (typep bounded ',type))
+ (is (<= (abs bounded) 42)))))
+ (test-gen-float single-float)
+ (test-gen-float short-float)
+ (test-gen-float double-float)
+ (test-gen-float long-float)))
+
+(def-test gen-character ()
+ (for-all ((c (gen-character)))
+ (is (characterp c)))
+ (for-all ((c (gen-character :code (gen-integer :min 32 :max 40))))
+ (is (characterp c))
+ (member c (list #\Space #\! #\" #\# #\$ #\% #\& #\' #\())))
+
+(def-test gen-string ()
+ (for-all ((s (gen-string)))
+ (is (stringp s)))
+ (for-all ((s (gen-string :length (gen-integer :min 0 :max 2))))
+ (is (<= (length s) 2)))
+ (for-all ((s (gen-string :elements (gen-character :code (gen-integer :min 0 :max 0))
+ :length (constantly 2))))
+ (is (= 2 (length s)))
+ (is (every (curry #'char= #\Null) s))))
+
+(defun dummy-mv-generator ()
+ (lambda ()
+ (list 1 1)))
+
+(def-test for-all-destructuring-bind ()
+ (for-all (((a b) (dummy-mv-generator)))
+ (is (= 1 a))
+ (is (= 1 b))))