From 57ccad16b6f56dda5efe53a7ef9d73f28dbb40b3 Mon Sep 17 00:00:00 2001 From: Stevan Andjelkovic Date: Mon, 16 Dec 2024 14:12:07 +0100 Subject: [PATCH] fix: two mistake in 2PC liveness property and test --- src/Spex/Experiment/Protocol3.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Spex/Experiment/Protocol3.hs b/src/Spex/Experiment/Protocol3.hs index 335e64f..555fce0 100644 --- a/src/Spex/Experiment/Protocol3.hs +++ b/src/Spex/Experiment/Protocol3.hs @@ -371,7 +371,7 @@ test seed = do ( always ( Prop (\e -> e.from == Client && e.content == Write) ==> eventually - ( Prop (\e -> e.to == Client && (e.content == Ack) || e.content == Abort) + ( Prop (\e -> e.to == Client && (e.content == Ack || e.content == Abort)) ) ) ) @@ -383,6 +383,7 @@ test seed = do return False t :: Int -> IO () +t 0 = return () t numberOfTests = do seed <- randomIO passed <- test seed