diff --git a/models/Application_examples/Cycle_Pattern.mp b/models/Application_examples/Cycle_Pattern.mp index ae4c30353d60e856ec5dadc3a7c93eb94e1bb70a..abf23e840a33ec74e775bec3848d4ff78fff919e 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.