Colored reduction fix - 2043334 (#116)

Fixes: https://bugs.launchpad.net/tapaal/+bug/2043334
TAPAAL · Nov 14, 2023 · 52eec4c · 52eec4c
2 parents e515781 + 15fa5aa
commit 52eec4c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java b/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java
@@ -226,8 +226,8 @@ public String toString() {
                 result.append(" --disable-symmetry-vars ");
             }
         }
-		if (this.useColoredReduction) {
-		    result.append(" --col-reduction 1 ");
+		if (!this.useColoredReduction) {
+		    result.append(" --col-reduction 0 ");
         }
 
 		return result.toString();