From 2ba53669860356a5c44deee159849626c735331f Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Mon, 15 Jun 2020 12:07:31 -0400 Subject: [PATCH] record a useful spin option --- racket/typed/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/racket/typed/Makefile b/racket/typed/Makefile index e44f1cb..5d5f770 100644 --- a/racket/typed/Makefile +++ b/racket/typed/Makefile @@ -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