Commit 1be9c401 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

Small bug fix for the loglevel option and the version option

parent a6f60797
......@@ -32,6 +32,7 @@ import org.apache.commons.lang3.StringUtils;
*/
public class MohawkMain {
private static final String VERSION = "v2.0.1";
public static String NuSMV_filepath = "NuSMV2";
public static TestingSuite tests = new TestingSuite();
private static String SpecFileExtension = ".spec";
......@@ -61,8 +62,8 @@ public class MohawkMain {
// Add Information Options
options.addOption("help", false, "Print this message");
options.addOption("version", false,
"Print the version information and exit");
options.addOption("version", false, "Prints the version (" + VERSION
+ ") information");
options.addOption("checknusmv", false,
"Checks that NuSMV is on the system and displays which version is installed");
......@@ -73,7 +74,7 @@ public class MohawkMain {
"Be extra quiet only errors are shown; "
+ "Show debugging information; "
+ "extra information is given for Verbose; "
+ "default is warning level")
+ "default is warning level").hasArg()
.create("loglevel"));
options.addOption(OptionBuilder
.withArgName("logfile|'n'|'u'")
......@@ -230,7 +231,7 @@ public class MohawkMain {
if (cmd.hasOption("version")) {
// keep it as simple as possible for the version
System.out.println("2.0.1");
System.out.println(VERSION);
return;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment