Merge remote-tracking branch 'origin/develop'

runtimeverification · May 9, 2024 · 640e25b · 640e25b
2 parents 206ad9a + 470a931
commit 640e25b
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/pyk/src/tests/integration/test_kprint.py b/pyk/src/tests/integration/test_kprint.py
@@ -289,11 +289,6 @@ def test_init_config(self, kprint: KPrint, test_id: str, sort: KSort, expected:
     ),
     (
         'multiple-rules-3',
-        andBool([leInt(intToken(0), KVariable('CONTRACT_ID')), ltInt(KVariable('CONTRACT_ID'), intToken(9))]),
-        '#range ( 0 <= CONTRACT_ID < 9 )',
-    ),
-    (
-        'multiple-rules-4',
         andBool([leInt(intToken(0), KVariable('CONTRACT_ID')), leInt(KVariable('CONTRACT_ID'), intToken(9))]),
         '#range ( 0 <= CONTRACT_ID <= 9 )',
     ),
@@ -364,7 +359,6 @@ class TestUnparsingDefn(KPrintTest):
 
             rule #range ( LB <  X <  UB ) => LB  <Int X andBool X  <Int UB
             rule #range ( LB <  X <= UB ) => LB  <Int X andBool X <=Int UB
-            rule #range ( LB <= X <  UB ) => LB <=Int X andBool X  <Int UB
             rule #range ( LB <= X <= UB ) => LB <=Int X andBool X <=Int UB
         endmodule
     """