Commit 036dcb6e authored by Jonathan Shahen's avatar Jonathan Shahen

Changing result to ERROR_OCCURRED when the retunr code is not 0

parent bd0dc9da
package mohawk.testing;
import java.io.IOException;
import java.util.Date;
import java.util.concurrent.Callable;
import java.util.logging.Logger;
......@@ -24,6 +25,8 @@ public class TestRunner implements Callable<TestingResult> {
public TestingResult call() throws Exception {
ExecutionResult result = null;
System.out.println("Starting the test: " + new Date());
if (settings.skipRefine) {
try {
WriteRBACSpec writer = new WriteRBACSpec();
......@@ -37,8 +40,10 @@ public class TestRunner implements Callable<TestingResult> {
if (counterExampleFound) {
result = ExecutionResult.GOAL_REACHABLE;
} else {
} else if (absrefine.getReturnValue().equals("0")) {
result = ExecutionResult.GOAL_UNREACHABLE;
} else {
result = ExecutionResult.ERROR_OCCURRED;
}
} else {
......
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