Merge branch 'main' into more_isinstance

microsoft · Aug 18, 2023 · 9d0e57c · 9d0e57c
2 parents b1f2b02 + 32bed61
commit 9d0e57c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tla/Traceccfraft.tla b/tla/Traceccfraft.tla
@@ -363,6 +363,9 @@ TraceView ==
 
 -------------------------------------------------------------------------------------
 
+\* The property TraceMatched below will be violated if TLC runs with more than a single worker.
+ASSUME TLCGet("config").worker = 1
+
 TraceMatched ==
     \* We force TLC to check TraceMatched as a temporal property because TLC checks temporal
     \* properties after generating all successor states of the current state, unlike