From ca75b88c96b2c97592515ca437a9749e1cea080d Mon Sep 17 00:00:00 2001
From: matteonussbauemer <m.l.nussbaumer@student.tudelft.nl>
Date: Wed, 1 Nov 2023 23:18:50 +0100
Subject: [PATCH] fix config in test

---
 tests/subset_covers_precise_test.py | 3 +++
 1 file changed, 3 insertions(+)

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():
     """