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

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