Fixed compilation error

RipplB · Jun 15, 2024 · 0f35b6b · 0f35b6b
1 parent 9afa6dd
commit 0f35b6b
Showing 1 changed file with 0 additions and 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
@@ -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())