diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp index 4efeba1aa3396ad5fb542b306feab5f725b15537..910a59d1ea69e5286444539060fed35de8ac698c 100644 --- a/Example34_FiniteStateDiagram_PathAnnotation.mp +++ b/Example34_FiniteStateDiagram_PathAnnotation.mp @@ -42,7 +42,8 @@ Search terms: finite state diagram; path annotation; state transition; finite st 1) Event Si_to_Sj contains the symbol triggering the transition. 2) Si_to_Sj is shared by corresponding state behavior roots. -Instructions: Run for Scopes 1 and 2. +Instructions: Run for Scopes 1 and 2. + Scope 1: 4 traces in less than 1 sec. Scope 2: 30 traces in approx. 9.4 sec. ==========================================================*/