Skip to content
Snippets Groups Projects
Commit 86f77dac authored by Jan Gruteser's avatar Jan Gruteser
Browse files

add TLCResult for interrupted check

parent 317157b7
No related branches found
No related tags found
No related merge requests found
Pipeline #139816 passed
...@@ -36,7 +36,7 @@ public class TLCResults implements ToolGlobals { ...@@ -36,7 +36,7 @@ public class TLCResults implements ToolGlobals {
private final TLCOutputInfo tlcOutputInfo; private final TLCOutputInfo tlcOutputInfo;
public enum TLCResult { public enum TLCResult {
Deadlock, Goal, InvariantViolation, ParseError, NoError, AssertionError, PropertiesError, EnumerationError, TLCError, TemporalPropertyViolation, WellDefinednessError, InitialStateError Deadlock, Goal, InvariantViolation, ParseError, NoError, AssertionError, PropertiesError, EnumerationError, TLCError, TemporalPropertyViolation, WellDefinednessError, InitialStateError, Interrupted
} }
public boolean hasTrace() { public boolean hasTrace() {
...@@ -380,6 +380,8 @@ public class TLCResults implements ToolGlobals { ...@@ -380,6 +380,8 @@ public class TLCResults implements ToolGlobals {
return WellDefinednessError; return WellDefinednessError;
} else if (s.contains("ASSERT_LTL")) { } else if (s.contains("ASSERT_LTL")) {
return TemporalPropertyViolation; return TemporalPropertyViolation;
} else if (s.contains("java.lang.InterruptedException")) {
return Interrupted;
} }
} }
// unknown error // unknown error
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment