new futex model

[userspace-rcu.git] / futex-wakeup / futex.ltl

diff --git a/futex-wakeup/futex.ltl b/futex-wakeup/futex.ltl
index 3d6842e5d9971e1212a77a2fab94f764d6aa0cf6..87186413c9ba4e59e8b4c3814696692c1f974418 100644 (file)
--- a/futex-wakeup/futex.ltl
+++ b/futex-wakeup/futex.ltl
@@ -1 +1 @@
-([] <> ((!np_) || (!queue_has_entry)))
+([] <> !np_)