Portfolio is now better

ftsrg · Nov 13, 2024 · abb6d06 · abb6d06
1 parent e6d7a38
commit abb6d06
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
@@ -121,6 +121,9 @@ fun complexPortfolio25(
             ),
           argConfig = ArgConfig(disable = true),
           enableOutput = portfolioConfig.outputConfig.enableOutput,
+          acceptUnreliableSafe = portfolioConfig.outputConfig.acceptUnreliableSafe,
+          xcfaOutputConfig = XcfaOutputConfig(disable = true),
+          chcOutputConfig = ChcOutputConfig(disable = true),
         ),
       debugConfig = portfolioConfig.debugConfig,
     )