X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=ticketlock-testwait%2Flock_progress.ltl;fp=ticketlock-testwait%2Flock_progress.ltl;h=a2d91d7ceeeeabfe70db740ec1524264bbbdcd26;hb=08e5a09d6dcc497e88d6f79b9d8c33198c515acd;hp=4bc3952985ae1fe36195d2202f564d40a65e03e6;hpb=6dc4684a347695670803a70b7e50986fb75ec0ec;p=urcu.git

diff --git a/ticketlock-testwait/lock_progress.ltl b/ticketlock-testwait/lock_progress.ltl
index 4bc3952..a2d91d7 100644
--- a/ticketlock-testwait/lock_progress.ltl
+++ b/ticketlock-testwait/lock_progress.ltl
@@ -1 +1 @@
-(([] <> !np_) || (!(<> [] is_one_enabled -> [] <> last_is_one)))
+((<> [] is_one_enabled -> [] <> last_is_one) -> ([] <> !np_))