From 86f77dacfaf12a764978c9ab3f2e0042e3727cb8 Mon Sep 17 00:00:00 2001 From: Jan Gruteser <jan.gruteser@hhu.de> Date: Wed, 24 Jul 2024 14:03:07 +0200 Subject: [PATCH] add TLCResult for interrupted check --- src/main/java/de/tlc4b/tlc/TLCResults.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main/java/de/tlc4b/tlc/TLCResults.java b/src/main/java/de/tlc4b/tlc/TLCResults.java index 4478de6..48c4cce 100644 --- a/src/main/java/de/tlc4b/tlc/TLCResults.java +++ b/src/main/java/de/tlc4b/tlc/TLCResults.java @@ -36,7 +36,7 @@ public class TLCResults implements ToolGlobals { private final TLCOutputInfo tlcOutputInfo; 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() { @@ -380,6 +380,8 @@ public class TLCResults implements ToolGlobals { return WellDefinednessError; } else if (s.contains("ASSERT_LTL")) { return TemporalPropertyViolation; + } else if (s.contains("java.lang.InterruptedException")) { + return Interrupted; } } // unknown error -- GitLab