Merge pull request #307 from ftsrg/add-thorn-binary

Added thorn creation to action
ftsrg · Oct 21, 2024 · 55c828b · 55c828b
2 parents 81fbe00 + aca85ba
commit 55c828b
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 1 deletion.
diff --git a/.github/workflows/linux-build-test-deploy.yml b/.github/workflows/linux-build-test-deploy.yml
@@ -105,6 +105,11 @@ jobs:
         with:
           name: "EmergenTheta"
           inputflag: "--algorithm EMERGENT"
+      - name: Create thorn.zip
+        uses: ./.github/actions/build-archive
+        with:
+          name: "Thorn"
+          inputflag: "--algorithm HORN"
 
 
   javadoc:

diff --git a/build.gradle.kts b/build.gradle.kts
@@ -28,7 +28,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.theta"
-    version = "6.6.0"
+    version = "6.6.1"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }

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
@@ -41,6 +41,9 @@ class XcfaCli(private val args: Array<String>) {
     @Parameter(names = ["--help", "-h"], help = true)
     private var help = false
 
+    @Parameter(names = ["--svcomp"])
+    private var svcomp = false
+
     @Parameter
     var remainingFlags: MutableList<String> = ArrayList()
 
@@ -55,6 +58,18 @@ class XcfaCli(private val args: Array<String>) {
             } else {
                 config = XcfaConfig<SpecFrontendConfig, SpecBackendConfig>()
             }
+            if (svcomp) {
+                remainingFlags.addAll(
+                    listOf(
+                        "--enable-output",
+                        "--disable-xcfa-serialization",
+                        "--disable-arg-generation",
+                        "--disable-chc-serialization",
+                        "--disable-c-serialization",
+                        "--only-svcomp-witness"
+                    )
+                )
+            }
             while (remainingFlags.isNotEmpty()) {
                 val nextArgs = remainingFlags.toTypedArray()
                 remainingFlags.clear()