Skip to content
Snippets Groups Projects
Commit aa47b785 authored by Giammarco, Kristin M's avatar Giammarco, Kristin M
Browse files

Upload New File

parent 7d745490
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
snippets/ENSURE/Unidirectional_Dependency.mp 0 → 100644
+ 4
− 0
View file @ aa47b785
/* Ensure that if event A appears exactly once, then event B
appears exactly once. Change the numbers as needed. */
ENSURE #A == 1 -> #B == 1;
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment