X-Git-Url: https://git.lttng.org/?a=blobdiff_plain;f=formal-model%2Ffutex-wakeup%2Ffutex.ltl;h=3d6842e5d9971e1212a77a2fab94f764d6aa0cf6;hb=9b35d5dcf52a88861328f442ee0ef6812ec9b35b;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)))