Fixed configs with help, etc

subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt

@@ -38,6 +38,9 @@ class XcfaCli(private val args: Array<String>) {
     @Parameter(names = ["--config", "-c"], description = "Configuration file (CLI options will overwrite these!)")
     var configFile: File? = null
 
+    @Parameter(names = ["--help", "-h"], help = true)
+    private var help = false
+
     @Parameter
     var remainingFlags: MutableList<String> = ArrayList()
 
@@ -79,6 +82,16 @@ class XcfaCli(private val args: Array<String>) {
             exitProcess(ExitCodes.INVALID_PARAM.code)
         }
 
+
+        if (help) {
+            val builder = JCommander.newBuilder().addObject(this)
+            for (obj in config.getObjects()) {
+                builder.addObject(obj)
+            }
+            builder.build().usage()
+            return
+        }
+
         /// version
         if (config.outputConfig.versionInfo) {
             CliUtils.printVersion(System.out)

subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/utils/SolverRegistration.kt

@@ -35,11 +35,11 @@ fun registerAllSolverManagers(home: String, logger: Logger) {
     SolverManager.closeAll()
     // register solver managers
     SolverManager.registerSolverManager(Z3SolverManager.create())
-    logger.write(Logger.Level.INFO, "Registered Z3 SolverManager")
+    logger.write(Logger.Level.INFO, "Registered Z3 SolverManager\n")
     if (OsHelper.getOs() == OsHelper.OperatingSystem.LINUX) {
         val homePath = Path.of(home)
         val smtLibSolverManager: SmtLibSolverManager = SmtLibSolverManager.create(homePath, logger)
         SolverManager.registerSolverManager(smtLibSolverManager)
-        logger.write(Logger.Level.INFO, "Registered SMT-LIB SolverManager")
+        logger.write(Logger.Level.INFO, "Registered SMT-LIB SolverManager\n")
     }
 }