X-Git-Url: http://git.lttng.org/?a=blobdiff_plain;f=futex-wakeup%2Fnto1%2Ffutex.ltl;fp=futex-wakeup%2Fnto1%2Ffutex.ltl;h=3d6842e5d9971e1212a77a2fab94f764d6aa0cf6;hb=e922fbe49f26c6bee783582aadbecf794aae1d64;hp=0000000000000000000000000000000000000000;hpb=c14f083d1667973769d0cdcf2041476b90a29fdd;p=urcu.git

diff --git a/futex-wakeup/nto1/futex.ltl b/futex-wakeup/nto1/futex.ltl
new file mode 100644
index 0000000..3d6842e
--- /dev/null
+++ b/futex-wakeup/nto1/futex.ltl
@@ -0,0 +1 @@
+([] <> ((!np_) || (!queue_has_entry)))