From 2cc0d861f954976504ed47234ba24fe4be45aa70 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Wed, 21 Jul 2021 21:06:41 +0000
Subject: [PATCH] Update Example33_ATMWithdrawal_StatechartView.mp

---
 Example33_ATMWithdrawal_StatechartView.mp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/Example33_ATMWithdrawal_StatechartView.mp
index 1f8e11e..59af9f2 100644
--- a/Example33_ATMWithdrawal_StatechartView.mp
+++ b/Example33_ATMWithdrawal_StatechartView.mp
@@ -16,6 +16,9 @@ Search terms: ATM withdrawal; statechart view; ATM system; database; report, glo
 	Extracting Statechart view from MP model.
 
 Instructions: Run for Scopes 1 and up.
+	Scope 1: 4 traces in less than 1 sec.
+	Scope 2: 13 traces in less than 1 sec.
+	Scope 3: 40 traces in approx. 20 sec.
 
 ==========================================================*/
 
-- 
GitLab