Adding subsetOf scalacheck test.

scala · Feb 3, 2018 · 7000f5a · 7000f5a
1 parent 0b22e48
commit 7000f5a
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/...acheck/src/test/scala/strawman/collection/immutable/ImmutableChampHashSetProperties.scala b/...acheck/src/test/scala/strawman/collection/immutable/ImmutableChampHashSetProperties.scala
@@ -218,4 +218,18 @@ object ImmutableChampHashSetProperties extends Properties("immutable.ChampHashSe
     xs == ys
   }
 
+  property("smaller subsetOf larger") = forAll { (inputSet: ChampHashSet[K]) =>
+    if (inputSet.isEmpty) {
+      true
+    } else {
+      val randomSamples = scala.util.Random.nextInt(inputSet.size)
+      val randomIndices = ImmutableArray.fill(randomSamples)(scala.util.Random.nextInt(inputSet.size))
+
+      val inputArray = inputSet.toArray
+      val smallerSet = ChampHashSet.from(randomIndices.map(inputArray).toSet)
+
+      smallerSet.subsetOf(inputSet)
+    }
+  }
+
 }