Change transformations to flags

ftsrg · Feb 20, 2025 · 3e83d75 · 3e83d75
1 parent 7440b35
commit 3e83d75
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/...s/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliMonolithicBaseCommand.kt b/...s/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliMonolithicBaseCommand.kt
@@ -16,6 +16,7 @@
 package hu.bme.mit.theta.xsts.cli
 
 import com.github.ajalt.clikt.parameters.options.default
+import com.github.ajalt.clikt.parameters.options.flag
 import com.github.ajalt.clikt.parameters.options.option
 import com.github.ajalt.clikt.parameters.types.boolean
 import hu.bme.mit.theta.analysis.algorithm.bounded.MonolithicExpr
@@ -28,11 +29,11 @@ abstract class XstsCliMonolithicBaseCommand(name: String? = null, help: String =
   XstsCliBaseCommand(name = name, help = help) {
 
   protected val reversed: Boolean by
-    option(help = "Reversed state space exploration").boolean().default(false)
+    option(help = "Reversed state space exploration").flag()
   protected val livenessToSafety: Boolean by
-    option(help = "Use liveness to safety transformation").boolean().default(false)
+    option(help = "Use liveness to safety transformation").flag()
   protected val abstracted: Boolean by
-    option(help = "Wrap analysis in CEGAR loop").boolean().default(false)
+    option(help = "Wrap analysis in CEGAR loop").flag()
 
   fun createMonolithicExpr(xsts: XSTS): MonolithicExpr {
     var monolithicExpr = xsts.toMonolithicExpr()