From 08e5a09d6dcc497e88d6f79b9d8c33198c515acd Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Wed, 14 Oct 2009 11:59:38 -0400 Subject: [PATCH] better lock-free test Signed-off-by: Mathieu Desnoyers --- ticketlock-testwait/lock_progress.ltl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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_)) -- 2.34.1