Skip to content

Commit

Permalink
fixed readme for -a option
Browse files Browse the repository at this point in the history
  • Loading branch information
@ianno
ianno committed Nov 7, 2014
1 parent e171a8d commit f5c6375
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit f5c6375

Please sign in to comment.