From 572cb66258c8fb9006c8f0b660ffbb89477447f0 Mon Sep 17 00:00:00 2001
From: Aman Goel <goelaman@amazon.com>
Date: Tue, 1 Aug 2023 14:37:59 -0700
Subject: [PATCH] [PSym] enable symbolic state caching by default

---
 .../src/main/java/psym/commandline/PSymConfiguration.java     | 4 ++--
 1 file changed, 2 insertions(+), 2 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 74120cc0e..9cd7df458 100644
--- a/Src/PRuntimes/PSymRuntime/src/main/java/psym/commandline/PSymConfiguration.java
+++ b/Src/PRuntimes/PSymRuntime/src/main/java/psym/commandline/PSymConfiguration.java
@@ -55,7 +55,7 @@ public class PSymConfiguration implements Serializable {
   // whether or not to allow sync events
   @Getter @Setter boolean allowSyncEvents = true;
   // mode of state hashing
-  @Getter @Setter StateCachingMode stateCachingMode = StateCachingMode.None;
+  @Getter @Setter StateCachingMode stateCachingMode = StateCachingMode.Symbolic;
   // symmetry mode
   @Getter @Setter SymmetryMode symmetryMode = SymmetryMode.None;
   // use backtracking
@@ -102,7 +102,7 @@ public boolean isChoiceOrchestrationLearning() {
 
   public void setToSymbolic() {
     this.setStrategy("symbolic");
-    this.setStateCachingMode(StateCachingMode.None);
+    this.setStateCachingMode(StateCachingMode.Symbolic);
     this.setUseBacktrack(false);
     this.setChoiceOrchestration(ChoiceOrchestrationMode.None);
     this.setTaskOrchestration(TaskOrchestrationMode.DepthFirst);