notes in Makefile
This commit is contained in:
parent
4e43c489d8
commit
cb3f0546c0
|
@ -6,5 +6,6 @@ pan.c : leader-and-seller.pml
|
||||||
|
|
||||||
# -a to analyze, -f for (weak) fairness
|
# -a to analyze, -f for (weak) fairness
|
||||||
# -n to elide report of unreached states
|
# -n to elide report of unreached states
|
||||||
|
# -N spec-name to verify a particular specification
|
||||||
check: pan
|
check: pan
|
||||||
./pan -a -f
|
./pan -a -f -n
|
||||||
|
|
Loading…
Reference in New Issue