Skip to content
Snippets Groups Projects
Commit 2cc0d861 authored by Pamela Dyer's avatar Pamela Dyer
Browse files

Update Example33_ATMWithdrawal_StatechartView.mp

parent 510cd661
No related branches found
No related tags found
2 merge requests!24Pamela's Merge Request: 07-23-2021,!23Pamela's Test Merge Request: 07-23-2021
......@@ -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.
==========================================================*/
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment