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))
 // }