fix config in test

spcl · Nov 1, 2023 · ca75b88 · ca75b88
1 parent 1e83e71
commit ca75b88
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/subset_covers_precise_test.py b/tests/subset_covers_precise_test.py
@@ -107,6 +107,7 @@ def test_symbolic_boundaries_not_symbolic_positive():
     """
     Tests from test_symbolic_boundaries with symbolic_positive flag deactivated.
     """
+    symbolic_positive = Config.get('optimizer', 'symbolic_positive')
     Config.set('optimizer', 'symbolic_positive', value=False)
 
     subset1 = Range.from_string("N:M:1")
@@ -124,6 +125,8 @@ def test_symbolic_boundaries_not_symbolic_positive():
     assert (subset1.covers_precise(subset2) is False)
     assert (subset2.covers_precise(subset1) is False)
 
+    Config.set('optimizer', 'symbolic_positive', value=symbolic_positive)
+
 
 def test_range_indices():
     """