Add further input preservation test within prop_createPlan.

In response to review feedback: #2618 (comment)
cardano-foundation · Apr 20, 2021 · 152d957 · 152d957
1 parent b2186bd
commit 152d957
Showing 1 changed file with 3 additions and 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
@@ -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"