X-Git-Url: http://git.lttng.org/?a=blobdiff_plain;f=formal-model%2Ffutex-wakeup%2Ffutex.ltl;h=3d6842e5d9971e1212a77a2fab94f764d6aa0cf6;hb=9b35d5dcf52a88861328f442ee0ef6812ec9b35b;hp=87186413c9ba4e59e8b4c3814696692c1f974418;hpb=4ccf3e7c5f7b23c99278d56e95b82b4e337a172b;p=urcu.git

diff --git a/formal-model/futex-wakeup/futex.ltl b/formal-model/futex-wakeup/futex.ltl
index 8718641..3d6842e 100644
--- a/formal-model/futex-wakeup/futex.ltl
+++ b/formal-model/futex-wakeup/futex.ltl
@@ -1 +1 @@
-([] <> !np_)
+([] <> ((!np_) || (!queue_has_entry)))