test: 🚨 add property-tests for rb_set

test/rb_set_prop_test.exs

@@ -0,0 +1,40 @@
+defmodule RBSetPropTest do
+  @moduledoc """
+  Property-testing RBSet
+  """
+
+  use ExUnit.Case, async: true
+  use Quixir
+  import RBSet
+  doctest RBSet
+
+  test "check monoid" do
+    ptest numbers1: list(of: positive_int(), size: 10),
+          numbers2: list(of: positive_int(), size: 10) do
+      set1 = RBSet.new(numbers1)
+      set2 = RBSet.new(numbers2)
+      emp = RBSet.new()
+
+      new_set = set1 ||| emp
+      assert RBSet.to_list(set1) == RBSet.to_list(new_set)
+
+      new_set = emp ||| set1
+      assert RBSet.to_list(set1) == RBSet.to_list(new_set)
+
+      set12 = set1 ||| set2
+      set21 = set2 ||| set1
+      assert RBSet.to_list(set12) == RBSet.to_list(set21)
+    end
+  end
+
+  test "check insert" do
+    ptest values: list(size: 10) do
+      set = RBSet.new()
+
+      Enum.each(values, fn value ->
+        set = RBSet.put(set, value)
+        assert RBSet.member?(set, value)
+      end)
+    end
+  end
+end

test/rb_set_test.exs

@@ -1,10 +1,9 @@
 defmodule RBSetTest do
   @moduledoc """
-  Testing RBSet
+  Unit-testing RBSet
   """
 
   use ExUnit.Case, async: true
-
   import RBSet
   doctest RBSet