Disabling arg serialization if --svcomp is given

ftsrg · Oct 20, 2024 · aca85ba · aca85ba
1 parent 9709d84
commit aca85ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt
@@ -63,6 +63,7 @@ class XcfaCli(private val args: Array<String>) {
                     listOf(
                         "--enable-output",
                         "--disable-xcfa-serialization",
+                        "--disable-arg-generation",
                         "--disable-chc-serialization",
                         "--disable-c-serialization",
                         "--only-svcomp-witness"