From 33c3f18600e1f2cd09864e37f1980bdc0903aa2f Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Tue, 26 Mar 2024 16:58:51 -0700
Subject: [PATCH] Write to stdout when coverage information is written.

---
 tla/StatsFile.tla | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tla/StatsFile.tla b/tla/StatsFile.tla
index 20a0ec8494f1..15ec7ac95834 100644
--- a/tla/StatsFile.tla
+++ b/tla/StatsFile.tla
@@ -20,7 +20,8 @@ WriteStatsFile ==
 SerialiseCoverageConstraint ==
     LET interval == 500000
     IN IF TLCGet("distinct") % interval = 0 
-       THEN Serialize(<<TLCGet("spec")>>, CoverageFilename, [format |-> "NDJSON", charset |-> "UTF-8", openOptions |-> <<"WRITE", "CREATE", "APPEND">>])
+       THEN /\ Serialize(<<TLCGet("spec")>>, CoverageFilename, [format |-> "NDJSON", charset |-> "UTF-8", openOptions |-> <<"WRITE", "CREATE", "APPEND">>])
+            /\ PrintT("Writing stats to file: " \o CoverageFilename)
        ELSE TRUE
 
 ====