Deactivate a test due to #48

gaperez64 · Oct 8, 2024 · 05706a8 · 05706a8
1 parent 6ba678f
commit 05706a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/meson.build b/tests/meson.build
@@ -2998,7 +2998,7 @@ benchmark_files = \
                        'Window_54e1f7d2.ltl',
                        'WindowMin_a5f99bc6.ltl',
                        'workstation_resupply_1.ltl',
-                       'workstation_resupply_2.ltl',
+                       # 'workstation_resupply_2.ltl', DEACTIVATED, see #48
                        'workstation_resupply_3.ltl',
                        'workstation_resupply_4.ltl',
                        'Zoo0.ltl',