From 412af76aba2e63200b3262b7b5244f4ca1cf44fb Mon Sep 17 00:00:00 2001
From: Sebastian Nagel <sebastian.nagel@ncoding.at>
Date: Tue, 9 Apr 2024 10:14:47 +0200
Subject: [PATCH] TxTrace: add more counter examples

---
 hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs b/hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs
index f3afee44c72..989e2383f9c 100644
--- a/hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs
+++ b/hydra-node/test/Hydra/Chain/Direct/TxTraceSpec.hs
@@ -137,7 +137,7 @@ instance StateModel Model where
 
   initialState =
     Model
-      { snapshots = []
+      { snapshots = [] -- TODO: could be replaced by using latestSnapshot
       , headState = Open 0
       , lastResult = Nothing
       , alreadyContested = []
@@ -271,7 +271,9 @@ instance RunModel Model IO where
         _ -> pure False
       _ -> pure True
 
-  postconditionOnFailure (_modelBefore, _modelAfter) action _lookup result =
+  postconditionOnFailure (modelBefore, _modelAfter) action _lookup result = do
+    counterexamplePost (show modelBefore)
+    counterexamplePost (show action)
     case action of
       Decrement{} -> expectInvalid result
       Close{} -> expectInvalid result