From 0f35b6bb0741219dea51575f90810d8ff18611b3 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Sat, 15 Jun 2024 20:43:17 +0200 Subject: [PATCH] Fixed compilation error --- .../main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt | 8 -------- 1 file changed, 8 deletions(-) diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt index 61794654c7..46ad6180f8 100644 --- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt +++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt @@ -59,7 +59,6 @@ import hu.bme.mit.theta.xcfa.passes.LbePass import hu.bme.mit.theta.xcfa.passes.LoopUnrollPass import hu.bme.mit.theta.xcfa.passes.StaticCoiPass import hu.bme.mit.theta.xcfa.toC -import hu.bme.mit.theta.xcfa2chc.toSMT2CHC import java.io.File import java.util.concurrent.TimeUnit import kotlin.random.Random @@ -246,13 +245,6 @@ private fun preVerificationLogging( "Writing pre-verification artifacts to directory ${resultFolder.absolutePath}\n" ) - if (!config.outputConfig.chcOutputConfig.disable) { - xcfa.procedures.forEach { - val chcFile = File(resultFolder, "xcfa-${it.name}.smt2") - chcFile.writeText(it.toSMT2CHC()) - } - } - if (!config.outputConfig.xcfaOutputConfig.disable) { val xcfaDotFile = File(resultFolder, "xcfa.dot") xcfaDotFile.writeText(xcfa.toDot())