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

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

diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan0.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan0.mp
new file mode 100644
index 0000000..6eec5d0
--- /dev/null
+++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThan0.mp
@@ -0,0 +1,3 @@
+/* Ensure that event A is present in all traces. */
+
+ENSURE #A > 0;
-- 
GitLab