From e216683ed9c11f7e1f22454b085a9719245f3e04 Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Fri, 23 Jul 2021 01:03:20 +0000 Subject: [PATCH] Upload New File --- snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp new file mode 100644 index 0000000..ef02ccd --- /dev/null +++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan1.mp @@ -0,0 +1,5 @@ +/* Ensure that the number of event A is greater than 1. + Guarantees at least two instances of A. Change 1 to 2 + to guarantee at least three instances of A. */ + +ENSURE #A > 1; -- GitLab