From 5314644bbbf53d0f2ec87aae51f1833b1fea9d88 Mon Sep 17 00:00:00 2001
From: Aman Goel <goelaman@amazon.com>
Date: Tue, 1 Aug 2023 16:57:57 -0700
Subject: [PATCH] [PSym] minor correction

---
 .../src/main/java/psym/commandline/PSymConfiguration.java | 8 +++-----
 1 file changed, 3 insertions(+), 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
index 6de39e5f7..a367beecd 100644
--- 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);