Fixed backwards compatibility with toolinfo

ftsrg · Jan 7, 2024 · 2964798 · 2964798
1 parent 17be7fe
commit 2964798
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/params/XcfaConfig.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/params/XcfaConfig.kt
@@ -77,11 +77,11 @@ data class InputConfig(
         description = "XCFA and ParseContext (will overwrite --input and --parse-ctx when given)")
     var xcfaWCtx: Triple<XCFA, MCM, ParseContext>? = null,
 
-    @Parameter(names = ["--property-file"],
+    @Parameter(names = ["--property"],
         description = "Path of the property file (will overwrite --property when given)")
     var propertyFile: File? = null,
 
-    @Parameter(names = ["--property"], description = "Property")
+    @Parameter(names = ["--property-value"], description = "Property")
     var property: ErrorDetection = ErrorDetection.ERROR_LOCATION
 ) : Config