comment

cosmos · Aug 10, 2023 · 281527b · 281527b
1 parent 99c5df5
commit 281527b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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))
 // }