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

---
 snippets/ENSURE/Unidirectional_Dependency.mp | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 snippets/ENSURE/Unidirectional_Dependency.mp

diff --git a/snippets/ENSURE/Unidirectional_Dependency.mp b/snippets/ENSURE/Unidirectional_Dependency.mp
new file mode 100644
index 0000000..299d0fe
--- /dev/null
+++ b/snippets/ENSURE/Unidirectional_Dependency.mp
@@ -0,0 +1,4 @@
+/* Ensure that if event A appears exactly once, then event B 
+appears exactly once.  Change the numbers as needed. */
+
+ENSURE #A == 1 -> #B == 1;
-- 
GitLab