X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Furcu-paulmck%2Furcu.sh;h=0c5e492ad9da008e812beeae5d915a9cdb5f65d6;hp=8ef0e871f2cd8ef4cc3b9de59bfc334a1870ea02;hb=c4aed19a0ef9f02e474cee682bd261dfaa56a495;hpb=3162dfe1928d4d6bf857f8e9e1c814eb8a994a0d

diff --git a/formal-model/urcu-paulmck/urcu.sh b/formal-model/urcu-paulmck/urcu.sh
index 8ef0e87..0c5e492 100644
--- a/formal-model/urcu-paulmck/urcu.sh
+++ b/formal-model/urcu-paulmck/urcu.sh
@@ -1,3 +1,3 @@
 spin -a urcu-paulmck.spin 
-cc -DSAFETY -o pan pan.c
-./pan
+cc -DNP -o pan pan.c
+./pan -f -l