revert

CPMpy · Nov 14, 2023 · d84b763 · d84b763
1 parent b44dda0
commit d84b763
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchmarks/test_benchmarks.py b/benchmarks/test_benchmarks.py
@@ -11,7 +11,7 @@
 xmlmodels = []
 cwd = os.getcwd()
 if 'y' in cwd[-2:]:
-    xmlmodels.extend(glob.glob(join("benchmarks", dirname, "*.xml")))
+    xmlmodels.extend(glob.glob(join("benchmarks", dirname, 'sat', "*.xml")))
 else:
     xmlmodels.extend(glob.glob(join(dirname, "*.xml")))