From 64ed351dd3e26589295a7bb759682c3d3f1d190b Mon Sep 17 00:00:00 2001 From: "Giammarco, Kristin M" <kmgiamma@nps.edu> Date: Fri, 23 Jul 2021 01:02:58 +0000 Subject: [PATCH] Upload New File --- snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp new file mode 100644 index 0000000..6a03d1a --- /dev/null +++ b/snippets/ENSURE/ENSURE_inequalities/Ensure_EqualTo.mp @@ -0,0 +1,4 @@ +/* Ensure that event A occurs a specific number of times. +(Set to 0 if the event should be absent from all traces. */ + +ENSURE #A == 2; -- GitLab