Add remote barrier model

[urcu.git] / formal-model / urcu / DEFINES

diff --git a/formal-model/urcu/DEFINES b/formal-model/urcu/DEFINES
index e1fb32c4c3e83f9b3605d3728f59489e8f75566a..843d135a11738aff4bc0d84b85a6cd36010eda71 100644 (file)
--- a/formal-model/urcu/DEFINES
+++ b/formal-model/urcu/DEFINES
@@ -7,3 +7,5 @@
 #ifndef READER_NEST_LEVEL
 #define READER_NEST_LEVEL 2
 #endif
+
+#define REMOTE_BARRIERS