test set<=?

1 files changed, 23 insertions, 1 deletions

diff --git a/tests/srfi-113-sets.scm b/tests/srfi-113-sets.scm
index 1b9700e..b18cbd8 100644
--- a/tests/srfi-113-sets.scm
+++ b/tests/srfi-113-sets.scm
@@ -21,7 +21,8 @@
 (define test-set-disjoint #f)
 (define test-set-every #f)
 (define test-set-delete #f)
-(define test-set= #t)
+(define test-set= #f)
+(define test-set<= #t)
 (define test-set-intersection #f)
 
 (define cmp (make-default-comparator))
@@ -448,6 +449,27 @@
              (not (set=? set+ set)))))
     (test-property adjoin-not-set= (list (random-sets)))))
 
+;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;; set<=?
+;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(when test-set<=
+  (test-group "all sets are <= to themselves"
+    (define (self-set<= set)
+      (set<=? set set))
+    (test-property self-set<= (list (random-sets))))
+  (test-group "deleting an element from a set makes it <="
+    (define (delete-set<= set)
+      (let ((set- (set-delete set (find-some-element set))))
+        (set<=? set- set)))
+    (test-property delete-set<= (list (filter-non-empty-sets
+                                       (random-sets)))))
+  (test-group "adding an element to a set makes it <="
+    (define (adjoin-set<= set)
+      (let ((set+ (set-adjoin set (cons #f #f))))
+        (set<=? set set+)))
+    (test-property adjoin-set<= (list (random-sets)))))
+
 ;;; ;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; Set-intersection
 ;;; ;;;;;;;;;;;;;;;;;;;;;;;;