From cb3f0546c011b37e7dd30d4e5755dd4f99f8488f Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Mon, 11 Jan 2021 11:49:33 -0500 Subject: [PATCH] notes in Makefile --- racket/typed/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/racket/typed/Makefile b/racket/typed/Makefile index 5d5f770..f2f2b1b 100644 --- a/racket/typed/Makefile +++ b/racket/typed/Makefile @@ -6,5 +6,6 @@ pan.c : leader-and-seller.pml # -a to analyze, -f for (weak) fairness # -n to elide report of unreached states +# -N spec-name to verify a particular specification check: pan - ./pan -a -f + ./pan -a -f -n