udpate test

runtimeverification · Sep 9, 2024 · fb07b5d · fb07b5d
1 parent 65fc671
commit fb07b5d
Showing 1 changed file with 3 additions and 11 deletions.
diff --git a/pyk/src/tests/unit/test_kcfg.py b/pyk/src/tests/unit/test_kcfg.py
@@ -925,16 +925,14 @@ def test_no_cell_rewrite_to_dots() -> None:
             [
                 (
                     KCFG.Node(2, CTerm(k(KVariable('Y')), [ge_ml('Y', 0)])),
-                    CSubst(Subst({'X': KVariable('Y')}), [lt_ml('Y', 10)]),
+                    CSubst(Subst({'X': KVariable('Y')}), []),
                 ),
                 (
                     KCFG.Node(3, CTerm(k(KVariable('Z')), [ge_ml('Z', 5)])),
                     CSubst(
                         Subst({'X': KVariable('Z')}),
                         [
                             ge_ml('Z', 5),
-                            lt_ml('Z', 10),
-                            ge_ml('Z', 0),
                         ],
                     ),
                 ),
@@ -952,17 +950,11 @@ def test_no_cell_rewrite_to_dots() -> None:
             [
                 (
                     KCFG.Node(2, CTerm(k(KVariable('Y')), [ge_ml('Y', 0), lt_ml('Y', 5)])),
-                    CSubst(Subst({'X': KVariable('Y')}), [lt_ml('Y', 5), lt_ml('Y', 10)]),
+                    CSubst(Subst({'X': KVariable('Y')}), [lt_ml('Y', 5)]),
                 ),
                 (
                     KCFG.Node(3, CTerm(k(KVariable('Z')), [ge_ml('Z', 5), lt_ml('Z', 10)])),
-                    CSubst(
-                        Subst({'X': KVariable('Z')}),
-                        [
-                            ge_ml('Z', 5),
-                            ge_ml('Z', 0),
-                        ],
-                    ),
+                    CSubst(Subst({'X': KVariable('Z')}), [ge_ml('Z', 5)]),
                 ),
             ],
         ),