[PSym] minor correction

p-org · Aug 1, 2023 · 5314644 · 5314644
1 parent e98bc3b
commit 5314644
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/Src/PRuntimes/PSymRuntime/src/main/java/psym/commandline/PSymConfiguration.java b/Src/PRuntimes/PSymRuntime/src/main/java/psym/commandline/PSymConfiguration.java
@@ -84,7 +84,7 @@ public class PSymConfiguration implements Serializable {
   @Getter @Setter boolean writeToFile = false;
 
   public boolean isSymbolic() {
-    return (strategy.equals("symbolic"));
+    return (strategy.startsWith("symbolic"));
   }
 
   public boolean isExplicit() {
@@ -109,18 +109,16 @@ public void setToSymbolic() {
   }
 
   public void setToSymbolicFixpoint() {
+    setToSymbolic();
     this.setStrategy("symbolic-fixpoint");
     this.setStateCachingMode(StateCachingMode.Symbolic);
-    this.setUseBacktrack(false);
-    this.setChoiceOrchestration(ChoiceOrchestrationMode.None);
-    this.setTaskOrchestration(TaskOrchestrationMode.DepthFirst);
   }
 
   public void setToSymbolicIterative() {
+    setToSymbolic();
     this.setStrategy("symbolic-iterative");
     this.setSchChoiceBound(2);
     this.setDataChoiceBound(2);
-    this.setStateCachingMode(StateCachingMode.None);
     this.setUseBacktrack(true);
     this.setChoiceOrchestration(ChoiceOrchestrationMode.Random);
     this.setTaskOrchestration(TaskOrchestrationMode.Random);