Commit 9eaf172f authored by Jonathan Shahen's avatar Jonathan Shahen

bug hunt is done; DO NOT USE NuSMV 2.5, use NuSMV 2.6! Updating the version number

parent 715d2cca
...@@ -16,7 +16,7 @@ later time. ...@@ -16,7 +16,7 @@ later time.
Here are the steps to use Moahawk: Here are the steps to use Moahawk:
1. Install NuSMV. You can obtain the NuSMV source code / binary from 1. Install NuSMV 2.6. You can obtain the NuSMV source code / binary from
following site: http://nusmv.irst.itc.it/. following site: http://nusmv.irst.itc.it/.
2. The Mohawk tool requires the latest version of JVM installed. 2. The Mohawk tool requires the latest version of JVM installed.
......
...@@ -8,6 +8,11 @@ ...@@ -8,6 +8,11 @@
* LICENSE: Please view LICENSE file in the home dir of this Program * LICENSE: Please view LICENSE file in the home dir of this Program
********************************************************************/ ********************************************************************/
All of the documentation is very old, please use the ANT build script,
and run `mohawk.jar --help` to see all available options.
NuSMV version should be 2.6
Java version should be JRE8.0+
INSTALL INSTALL
------- -------
......
2.3.0 2.3.1
\ No newline at end of file \ No newline at end of file
...@@ -21,7 +21,7 @@ import mohawk.testing.TestingSuite; ...@@ -21,7 +21,7 @@ import mohawk.testing.TestingSuite;
*/ */
public class MohawkInstance { public class MohawkInstance {
private final String VERSION = "v2.3.0"; private final String VERSION = "v2.3.1";
private static final String AUTHORS = "Jonathan Shahen <jmshahen [AT] uwaterloo [DOT] ca>; Karthick Jayaraman"; private static final String AUTHORS = "Jonathan Shahen <jmshahen [AT] uwaterloo [DOT] ca>; Karthick Jayaraman";
// Logger Fields // Logger Fields
......
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