From 7425819a5c2c7cc6dcb8d2d95c54d87883eb44e8 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Mon, 13 Jan 2025 14:56:38 +0000
Subject: [PATCH] Use Discard feature rather than spuriously Succeeding

---
 src/QuickCheckVEngine/MainHelpers.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/QuickCheckVEngine/MainHelpers.hs b/src/QuickCheckVEngine/MainHelpers.hs
index 0710d60..3998845 100644
--- a/src/QuickCheckVEngine/MainHelpers.hs
+++ b/src/QuickCheckVEngine/MainHelpers.hs
@@ -212,8 +212,7 @@ prop connA m_connB alive onFail arch delay verbosity saveDir ignoreAsserts stric
         -- We don't want to shrink once one of the implementations has died,
         -- so always return that the property is true
         onSubsequentDeaths _ = do
-          putStrLn "Warning: reporting success since implementations not running"
-          return $ property True
+          return $ property Discard
 
 -- | Send a sequence of instructions ('[DII_Packet]') to the implementations
 --   running behind the two provided 'Sockets's and recieve their respective