better lock-free test

[urcu.git] / ticketlock-testwait / lock_progress.ltl

diff --git a/ticketlock-testwait/lock_progress.ltl b/ticketlock-testwait/lock_progress.ltl
index 87186413c9ba4e59e8b4c3814696692c1f974418..a2d91d7ceeeeabfe70db740ec1524264bbbdcd26 100644 (file)
--- a/ticketlock-testwait/lock_progress.ltl
+++ b/ticketlock-testwait/lock_progress.ltl
@@ -1 +1 @@
-([] <> !np_)
+((<> [] is_one_enabled -> [] <> last_is_one) -> ([] <> !np_))