From af21ea406a8fec96f7d541a42d16d9604480919f Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Wed, 21 Jul 2021 17:29:02 +0000
Subject: [PATCH] Update Example06_UnreliableChannel_AssertionChecking.mp
---
Example06_UnreliableChannel_AssertionChecking.mp | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Example06_UnreliableChannel_AssertionChecking.mp b/Example06_UnreliableChannel_AssertionChecking.mp
index 0025352..1aa1055 100644
--- a/Example06_UnreliableChannel_AssertionChecking.mp
+++ b/Example06_UnreliableChannel_AssertionChecking.mp
@@ -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.
==========================================================*/
--
GitLab