Skip to content
Permalink
Browse files

Next try

  • Loading branch information
mgudemann committed Jan 14, 2020
1 parent ada0922 commit adada04a376b236121325b08f13a21bf92cfcc4b
Showing with 3 additions and 2 deletions.
  1. +3 −2 shelley/chain-and-ledger/executable-spec/test/Rules/TestUtxow.hs
@@ -166,9 +166,10 @@ requiredMSigSignaturesSubset tr =
map signaturesSubset tr
where
signaturesSubset sst =
all (existsReqKeyComb $ keyHashSet sst) (_witnessMSigMap $ signal sst)
let khs = keyHashSet sst in
all (existsReqKeyComb khs) (_witnessMSigMap $ signal sst)
existsReqKeyComb keyHashes msig =
any (flip Set.isSubsetOf keyHashes) (map Set.fromList $ getKeyCombinations msig)
any (\kl -> (Set.fromList kl) `Set.isSubsetOf` keyHashes) (getKeyCombinations msig)
keyHashSet sst =
Set.map (\case
WitVKey vk _ -> hashAnyKey vk

0 comments on commit adada04

Please sign in to comment.
You can’t perform that action at this time.