From f5c6375ee1d96ffb05eba7efcd91b076b1b2be1d Mon Sep 17 00:00:00 2001 From: Antonio Iannopollo Date: Thu, 6 Nov 2014 17:06:35 -0800 Subject: [PATCH] fixed readme for -a option --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8eae597..abdac01 100644 --- a/README.md +++ b/README.md @@ -17,8 +17,8 @@ or, using the command line: - `spin -a cruise.pml` - `gcc -o pan pan.c` -- `./pan -N p1 (for property p1)` -- `./pan -N p2 (for property p2)` +- `./pan -a -N p1 (for property p1)` +- `./pan -a -N p2 (for property p2)` - ... Author: Antonio Iannopollo