From 281527b2bc97069f544cd30a0a0e77f0754c25c1 Mon Sep 17 00:00:00 2001
From: Shawn <44221603+smarshall-spitzbart@users.noreply.github.com>
Date: Wed, 9 Aug 2023 23:04:20 -0700
Subject: [PATCH] comment

---
 tests/difference/core/driver/core_test.go | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/difference/core/driver/core_test.go b/tests/difference/core/driver/core_test.go
index 0b859b1137..ec97fbf9c1 100644
--- a/tests/difference/core/driver/core_test.go
+++ b/tests/difference/core/driver/core_test.go
@@ -330,6 +330,9 @@ func (s *CoreSuite) TestTraces() {
 	fmt.Println("Shortest [traceIx, actionIx]:", shortest, shortestLen)
 }
 
+// TODO: diff tests will eventually be replaced by quint tests, and all this code could then be deleted.
+// Until that decision is finalized, we'll just comment out the top-level test.
+
 // func TestCoreSuite(t *testing.T) {
 // 	suite.Run(t, new(CoreSuite))
 // }