From 8e178eff9c63de78f8764ff5a24d5c03d6051c68 Mon Sep 17 00:00:00 2001 From: Pamela Dyer <pamela.dyer@uconn.edu> Date: Sat, 17 Jul 2021 22:21:19 +0000 Subject: [PATCH] Update Example34_FiniteStateDiagram_PathAnnotation.mp --- Example34_FiniteStateDiagram_PathAnnotation.mp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Example34_FiniteStateDiagram_PathAnnotation.mp b/Example34_FiniteStateDiagram_PathAnnotation.mp index 4efeba1..910a59d 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. ==========================================================*/ -- GitLab