diff --git a/tests/subset_covers_precise_test.py b/tests/subset_covers_precise_test.py
index 185932ab53..8c688ea6c1 100644
--- 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():
     """