projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Configuration for remote barrier formal verif run
[urcu.git]
/
formal-model
/
urcu-controldataflow
/
urcu.spin
diff --git
a/formal-model/urcu-controldataflow/urcu.spin
b/formal-model/urcu-controldataflow/urcu.spin
index 12f841ce46ed7225be2c8fe83b63d938483a00e6..37518685f9360802f5dd405d816c20b389760d5b 100644
(file)
--- a/
formal-model/urcu-controldataflow/urcu.spin
+++ b/
formal-model/urcu-controldataflow/urcu.spin
@@
-927,7
+927,7
@@
active proctype urcu_writer()
assert(get_pid() < NR_PROCS);
do
assert(get_pid() < NR_PROCS);
do
- :: (loop_nr <
4
) ->
+ :: (loop_nr <
3
) ->
#ifdef WRITER_PROGRESS
progress_writer1:
#endif
#ifdef WRITER_PROGRESS
progress_writer1:
#endif
This page took
0.030576 seconds
and
4
git commands to generate.