syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

record a useful spin option

This commit is contained in:
Sam Caldwell 2020-06-15 12:07:31 -04:00
parent fc4413ec7a
commit 2ba5366986
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
racket/typed/Makefile
View File

@ -5,5 +5,6 @@ pan.c : leader-and-seller.pml
spin -a leader-and-seller.pml
# -a to analyze, -f for (weak) fairness
# -n to elide report of unreached states
check: pan
./pan -a -f