X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Ffutex-wakeup%2Ffutex.ltl;h=3d6842e5d9971e1212a77a2fab94f764d6aa0cf6;hb=ba59a0c7b244a0939a2298fc76a9002436ef9674;hp=87186413c9ba4e59e8b4c3814696692c1f974418;hpb=d4de486929b21b452a6fd94f2ca6c906c0f6b6b2;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)))