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

Update Example06_UnreliableChannel_AssertionChecking.mp

parent fbfe28ba
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
Hide whitespace changes
Inline Side-by-side
Example06_UnreliableChannel_AssertionChecking.mp
+ 3
− 0
View file @ af21ea40
......@@ -34,6 +34,9 @@ Search terms: unreliable channel; communication; assertion checking
into the ENSURE condition.
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 less than 1 sec.
==========================================================*/
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment