From 7227f9a1671241b8d7b5a57b49b6c4d325eb4992 Mon Sep 17 00:00:00 2001 From: AdamZsofi Date: Mon, 19 Sep 2022 10:10:41 +0200 Subject: [PATCH] Negated xsts stuck flag --- .../src/main/java/hu/bme/mit/theta/xsts/cli/XstsCli.java | 6 +++--- 1 file changed, 3 insertions(+), 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 index 8085ab68c4..b6d6e720c1 100644 --- 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));