From 152d9579c2d19f1b58979571d84bc0d7609f1702 Mon Sep 17 00:00:00 2001 From: Jonathan Knowles Date: Tue, 20 Apr 2021 06:24:43 +0000 Subject: [PATCH] Add further input preservation test within `prop_createPlan`. In response to review feedback: https://github.com/input-output-hk/cardano-wallet/pull/2618#issuecomment-822413404 --- .../unit/Cardano/Wallet/Primitive/Migration/PlanningSpec.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/core/test/unit/Cardano/Wallet/Primitive/Migration/PlanningSpec.hs b/lib/core/test/unit/Cardano/Wallet/Primitive/Migration/PlanningSpec.hs index ecfeaf486f0..01b33ca23aa 100644 --- a/lib/core/test/unit/Cardano/Wallet/Primitive/Migration/PlanningSpec.hs +++ b/lib/core/test/unit/Cardano/Wallet/Primitive/Migration/PlanningSpec.hs @@ -194,8 +194,10 @@ prop_createPlan mockArgs = [percentageSelected ignorables] $ counterexample counterexampleText $ conjoinMap - [ ( "inputs are not preserved" + [ ( "inputs are not preserved (union)" , inputIdsAll == Set.union inputIdsSelected inputIdsNotSelected ) + , ( "inputs are not preserved (intersection)" + , Set.empty == Set.intersection inputIdsSelected inputIdsNotSelected ) , ( "total fee is incorrect" , totalFee result == totalFeeExpected ) , ( "more than one transaction has reward withdrawal"