Made property output better understandable again

input-output-hk · Jan 26, 2022 · 597c708 · 597c708
1 parent 250abf6
commit 597c708
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Mutation.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Mutation.hs
@@ -94,7 +94,7 @@ propTransactionDoesNotValidate (tx, lookupUtxo) =
             & counterexample ("Tx: " <> toString (describeCardanoTx tx))
             & counterexample ("Lookup utxo: " <> decodeUtf8 (encodePretty lookupUtxo))
             & counterexample ("Redeemer report: " <> show redeemerReport)
-            & counterexample "Phase-2 validation succeeded"
+            & counterexample "Phase-2 validation should have failed"
 
 -- | A 'Property' checking some (transaction, UTxO) pair is valid.
 propTransactionValidates :: (CardanoTx, Utxo) -> Property