From 7b8e36010dd5364ae06e16faab02a391157c01e9 Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Sat, 24 Jul 2021 12:04:19 +0000 Subject: [PATCH] Update models/Application_examples/Cycle_Pattern.mp --- models/Application_examples/Cycle_Pattern.mp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/models/Application_examples/Cycle_Pattern.mp b/models/Application_examples/Cycle_Pattern.mp index ae4c303..abf23e8 100644 --- a/models/Application_examples/Cycle_Pattern.mp +++ b/models/Application_examples/Cycle_Pattern.mp @@ -22,8 +22,8 @@ References: Search terms: cycle pattern behavior; ENSURE condition; SAY statement; isomorphism -Instructions: Run for Scope 1. This will generate zero traces because -of the ENSURE constraint on line 29. Then run for Scopes 2 and 3. +Instructions: Run for Scopes 2 and 3. (Scope 1 generates zero traces because +of the ENSURE constraint on line 29.) Scope 1: 0 traces in less than 1 sec. Scope 2: 40 traces in less than 1 sec. Scope 3: 2952 traces in approx. 2.9 sec. -- GitLab