Skip to content

Instantly share code, notes, and snippets.

@note
Created May 21, 2020 18:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save note/66ff8c760e3d15ff658560f1873d5cb4 to your computer and use it in GitHub Desktop.
Save note/66ff8c760e3d15ff658560f1873d5cb4 to your computer and use it in GitHub Desktop.
Code snippet for Alloy tutorial: Basics
// Signatures:
sig A {}
// Predicates and facts
pred show {}
// Assertions:
// Commands
run show for 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment