From d84b763b52ba82234fe836a931953348f77d7da8 Mon Sep 17 00:00:00 2001 From: wout4 Date: Tue, 14 Nov 2023 15:03:29 +0100 Subject: [PATCH] revert --- benchmarks/test_benchmarks.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmarks/test_benchmarks.py b/benchmarks/test_benchmarks.py index 2dd1c59fc..9f83cce09 100644 --- 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")))