If unable to emit C file, dont fail

ftsrg · Nov 2, 2023 · 6d4203f · 6d4203f
1 parent 6755325
commit 6d4203f
Showing 1 changed file with 6 additions and 2 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
@@ -306,8 +306,12 @@ class XcfaCli(private val args: Array<String>) {
             val xcfaDotFile = File(resultFolder, "xcfa.dot")
             xcfaDotFile.writeText(xcfa.toDot())
 
-            val xcfaCFile = File(resultFolder, "xcfa.c")
-            xcfaCFile.writeText(xcfa.toC(parseContext, useArr, useExArr, useRange))
+            try {
+                val xcfaCFile = File(resultFolder, "xcfa.c")
+                xcfaCFile.writeText(xcfa.toC(parseContext, useArr, useExArr, useRange))
+            } catch (e: Throwable) {
+                logger.write(Logger.Level.VERBOSE, "Could not emit C file")
+            }
 
             val xcfaJsonFile = File(resultFolder, "xcfa.json")
             val uglyJson = gsonForOutput.toJson(xcfa)