mzn-test: don't check symmetry breaking constraints

MiniZinc · Mar 11, 2021 · 1f56608 · 1f56608
1 parent 1a97674
commit 1f56608
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/benchmarking/mzn-test.py b/tests/benchmarking/mzn-test.py
@@ -34,7 +34,7 @@
 
 sDZNOutputAgrs = "--output-mode dzn --output-objective"    ## The flattener arguments to produce DZN-compatible output facilitating solution checking
                              ## Remove --output-objective in MZN Release <=2.1.7
-sFlatOptChecker = "--allow-multiple-assignments"
+sFlatOptChecker = "--allow-multiple-assignments -Dmzn_ignore_symmetry_breaking_constraints=true"
 
 s_UsageExamples = ( 
     "\nUSAGE EXAMPLES:"