Skip to content

Instantly share code, notes, and snippets.

Created May 21, 2020
What would you like to do?
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