diff --git a/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp b/snippets/ENSURE/ENSURE_inequalities/Ensure_GreaterThanOrEqual.mp new file mode 100644 index 0000000000000000000000000000000000000000..fd1c98c909854a60f877879c653351f3733a1c13 --- /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;