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 */