Add ooomem and urcu checks

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

diff --git a/formal-model/ooomem/DEFINES b/formal-model/ooomem/DEFINES
new file mode 100644 (file)
index 0000000..04aa898
--- /dev/null
+++ b/formal-model/ooomem/DEFINES
@@ -0,0 +1,2 @@
+#define first_read_updated     (first_read[0] == 6)
+#define second_read_updated    (second_read[0] == 4)