From e0adf2f4a559d2db4089b8dc7fcea70ae24d38b8 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Wed, 22 Feb 2023 12:02:43 +0100
Subject: [PATCH] Don't run linter tests when interrupted

---
 src/emu/nanos6/setup.c | 4 ++++
 src/emu/nodes/setup.c  | 4 ++++
 src/emu/nosv/setup.c   | 4 ++++
 3 files changed, 12 insertions(+)

diff --git a/src/emu/nanos6/setup.c b/src/emu/nanos6/setup.c
index 5b9f739..eff5061 100644
--- a/src/emu/nanos6/setup.c
+++ b/src/emu/nanos6/setup.c
@@ -226,6 +226,10 @@ nanos6_connect(struct emu *emu)
 static int
 end_lint(struct emu *emu)
 {
+	/* Only run the check if we finished the complete trace */
+	if (!emu->finished)
+		return 0;
+
 	struct system *sys = &emu->system;
 
 	/* Ensure we run out of subsystem states */
diff --git a/src/emu/nodes/setup.c b/src/emu/nodes/setup.c
index 2f626c8..1c5c844 100644
--- a/src/emu/nodes/setup.c
+++ b/src/emu/nodes/setup.c
@@ -145,6 +145,10 @@ nodes_connect(struct emu *emu)
 static int
 end_lint(struct emu *emu)
 {
+	/* Only run the check if we finished the complete trace */
+	if (!emu->finished)
+		return 0;
+
 	struct system *sys = &emu->system;
 
 	/* Ensure we run out of subsystem states */
diff --git a/src/emu/nosv/setup.c b/src/emu/nosv/setup.c
index 5d4e86f..edad404 100644
--- a/src/emu/nosv/setup.c
+++ b/src/emu/nosv/setup.c
@@ -236,6 +236,10 @@ end_lint(struct emu *emu)
 static int
 finish_pvt(struct emu *emu, const char *name)
 {
+	/* Only run the check if we finished the complete trace */
+	if (!emu->finished)
+		return 0;
+
 	struct system *sys = &emu->system;
 
 	/* Emit task types for all channel types and processes */