From abb6d06bb75a0186b2aeb799838c50701f5d498a Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Wed, 13 Nov 2024 16:42:05 +0100 Subject: [PATCH] Portfolio is now better --- .../main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt | 3 +++ 1 file changed, 3 insertions(+) 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 index 64fc73ff93..0f60431494 100644 --- 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, )