fix: two mistake in 2PC liveness property and test

spex-lang · Dec 16, 2024 · 57ccad1 · 57ccad1
1 parent 1132713
commit 57ccad1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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