projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add QSBR RCU timing tests
[urcu.git]
/
formal-model
/
urcu-paulmck
/
urcu.sh
diff --git
a/formal-model/urcu-paulmck/urcu.sh
b/formal-model/urcu-paulmck/urcu.sh
index 8ef0e871f2cd8ef4cc3b9de59bfc334a1870ea02..0c5e492ad9da008e812beeae5d915a9cdb5f65d6 100644
(file)
--- a/
formal-model/urcu-paulmck/urcu.sh
+++ b/
formal-model/urcu-paulmck/urcu.sh
@@
-1,3
+1,3
@@
spin -a urcu-paulmck.spin
spin -a urcu-paulmck.spin
-cc -D
SAFETY
-o pan pan.c
-./pan
+cc -D
NP
-o pan pan.c
+./pan
-f -l
This page took
0.022927 seconds
and
4
git commands to generate.