From b8b5b96463088fa5ed625cbc1fe1318d612ef8c9 Mon Sep 17 00:00:00 2001
From: "Giammarco, Kristin M" <kmgiamma@nps.edu>
Date: Fri, 23 Jul 2021 01:03:31 +0000
Subject: [PATCH] Upload New File

---
 .../ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp  | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp

diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp
new file mode 100644
index 0000000..fd1c98c
--- /dev/null
+++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp
@@ -0,0 +1,5 @@
+/* Ensure that the number of event A is greater than or
+equal to 1.  Guarantees at least one instance of A. Change 
+1 to 2 to guarantee at least two instances of A. */ 
+
+ENSURE #A >= 1;
-- 
GitLab