[PSym] enable symbolic state caching by default

p-org · Aug 1, 2023 · 572cb66 · 572cb66
1 parent 3ad545a
commit 572cb66
Showing 1 changed file with 2 additions and 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
@@ -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);