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

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

diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp
new file mode 100644
index 0000000..a8e7fae
--- /dev/null
+++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_LessThan.mp
@@ -0,0 +1,5 @@
+/* Ensure that the number of event A is less than 3.
+   Guarantees at most two instances of A.  Change 3 to 2
+   to guarantee at most one instance of A.  */ 
+
+ENSURE #A < 3;
-- 
GitLab