Negated xsts stuck flag

ftsrg · Sep 19, 2022 · 7227f9a · 7227f9a
1 parent 5ae502c
commit 7227f9a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/subprojects/xsts/xsts-cli/src/main/java/hu/bme/mit/theta/xsts/cli/XstsCli.java b/subprojects/xsts/xsts-cli/src/main/java/hu/bme/mit/theta/xsts/cli/XstsCli.java
@@ -103,8 +103,8 @@ public class XstsCli {
 	@Parameter(names = {"--visualize"}, description = "Write proof or counterexample to file in dot format")
 	String dotfile = null;
 
-	@Parameter(names = "--stop-if-stuck")
-	boolean stopIfStuck = false;
+	@Parameter(names = "--no-stuck-check")
+	boolean noStuckCheck = false;
 
 	private Logger logger;
 
@@ -204,7 +204,7 @@ private XSTS loadModel() throws Exception {
 
 	private XstsConfig<?, ?, ?> buildConfiguration(final XSTS xsts) throws Exception {
 		// set up stopping analysis if it is stuck on same ARGs and precisions
-		if (!stopIfStuck) {
+		if (noStuckCheck) {
 			ArgCexCheckHandler.instance.setArgCexCheck(false, false);
 		} else {
 			ArgCexCheckHandler.instance.setArgCexCheck(true, refinement.equals(Refinement.MULTI_SEQ));