Lazy -> full

ftsrg · Nov 22, 2023 · 5b09d02 · 5b09d02
1 parent e7f9eca
commit 5b09d02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex24.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex24.kt
@@ -62,7 +62,7 @@ fun complexPortfolio24(
     )
 
     if (traitsTyped.multithreaded) {
-        baseConfig = baseConfig.copy(search = Search.DFS, porLevel = POR.AASPOR, pruneStrategy = PruneStrategy.LAZY,
+        baseConfig = baseConfig.copy(search = Search.DFS, porLevel = POR.AASPOR, pruneStrategy = PruneStrategy.FULL,
             coi = ConeOfInfluenceMode.COI)
 
         if (propertyTyped == ErrorDetection.DATA_RACE) {