fix(test): reduced false negatives

discopop-project · Mar 5, 2024 · bc94ac0 · bc94ac0
1 parent 4833c68
commit bc94ac0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/do_all/backwards_array_access/test.py b/test/do_all/backwards_array_access/test.py
@@ -32,7 +32,7 @@ def test(self):
         os.system("./prog")
         # execute DiscoPoP analysis
         os.chdir(".discopop")
-        os.system("discopop_explorer")
+        os.system("discopop_explorer --enable-patterns doall,reduction")
         os.chdir("..")
         # validate results
         self.validate_results(current_dir, src_dir)