diff --git a/Example33_ATMWithdrawal_StatechartView.mp b/Example33_ATMWithdrawal_StatechartView.mp index 1f8e11e791b0ccc1144ab8ad7ee043db21932844..59af9f274a551c05fd50d1b38397c8b894767cc9 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. ==========================================================*/