fix: change empty dictionary to set

pyta-uoft · Nov 28, 2024 · 7311f16 · 7311f16
1 parent bcdcfb0
commit 7311f16
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/tests/test_cfg/test_z3_constraints.py b/tests/test_cfg/test_z3_constraints.py
@@ -157,7 +157,7 @@ def func(x: int, y: int) -> None:
     expected_while_true_path = [
         {x > 5, y > 10},
         {x > 5, y > 10, x + y > 15},
-        {},
+        set(),
     ]
     expected_while_false_path = [
         {x > 5, y > 10},
@@ -346,7 +346,7 @@ def func(x: int, y: int) -> None:
         {x > 10, y > 10},
         {x > 10, y > 10, x > 0},
         {x > 10, y > 10, x > 0, y > 5},
-        {},
+        set(),
     ]
     expected_outer_while_path = [
         {x > 10, y > 10},
@@ -484,7 +484,7 @@ def func(x: int, y: int) -> None:
         {x > 10, y > 0},
         {x > 10, y > 0, x > 0},
         {x > 10, y > 0, x > 0, z3.Not(x < y)},
-        {},
+        set(),
     ]
     expected_other_path = [
         {x > 10, y > 0},
@@ -591,8 +591,8 @@ def func(x: float) -> None:
     expected_if_path = [
         {z3.Or(x == 1.0, x == 2.0, x == 3.0)},
         {z3.Or(x == 1.0, x == 2.0, x == 3.0), x < 5},
-        {},
-        {},
+        set(),
+        set(),
     ]
     expected_else_path = [
         {z3.Or(x == 1.0, x == 2.0, x == 3.0)},