Minor

bokner · Dec 16, 2024 · e2766c6 · e2766c6
1 parent db1f544
commit e2766c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/lib/solver/domain/bitvector_domain.ex b/lib/solver/domain/bitvector_domain.ex
@@ -86,8 +86,7 @@ defmodule CPSolver.BitVectorDomain do
   end
 
   def to_list(
-        {{:bit_vector, ref} = bit_vector, offset} = domain,
-        value_mapper_fun \\ &Function.identity/1
+        domain, value_mapper_fun \\ &Function.identity/1
       ) do
         reduce(domain, value_mapper_fun, &MapSet.union/2, MapSet.new())
   end

diff --git a/test/constraints/less_or_equal_test.exs b/test/constraints/less_or_equal_test.exs
@@ -27,7 +27,7 @@ defmodule CPSolverTest.Constraint.LessOrEqual do
       assert Enum.all?(res.solutions, fn [x_val, _] -> x_val <= upper_bound end)
     end
 
-    test "Less" do
+    test "Less (inconsistent)" do
       x = Variable.new(1)
       y = Variable.new(1)
       less_constraint = Less.new(x, y)