Commit 4f35d462 authored by Filip Reaboi's avatar Filip Reaboi
Browse files

NuSmv availability test

refs 3097
parent bf59a7cb
......@@ -46,8 +46,8 @@ public class SmokeTest extends NuSMVTestBase {
String result = runner.testToolAvailability();
assertNotNull(result);
assertTrue("'" + result + "' does not start with 'NUSMV 2.5'",
result.startsWith("NUSMV 2.5"));
assertTrue("'" + result + "' does not start with 'NUXMV 1.1.1'",
result.startsWith("NUXMV 1.1.1"));
}
/** Test whether NuSMV runs with SPEC AG TRUE. */
......
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