Skip to content

Commit

Permalink
Remove redundant / disabled tests and add a note
Browse files Browse the repository at this point in the history
  • Loading branch information
ch1bo authored and abailly-iohk committed Oct 12, 2021
1 parent 73ca134 commit b7a7ac4
Showing 1 changed file with 3 additions and 15 deletions.
18 changes: 3 additions & 15 deletions hydra-node/test/Hydra/Chain/Direct/TxSpec.hs
Expand Up @@ -62,12 +62,9 @@ spec =
len < maxTxSize

describe "initTx" $ do
prop "contains some datums" $ \txIn params ->
let ValidatedTx{wits} = initTx params txIn
dats = txdats wits
in counterexample ("TxDats: " <> show dats) $
not $ nullDats dats

-- NOTE(SN): We are relying in the inclusion of the datum in the "posting
-- tx" in order to 'observeTx'. This test is here to make this a bit more
-- explicit than the above general property.
prop "contains HeadParameters as datums" $ \txIn params ->
let ValidatedTx{wits} = initTx params txIn
dats = txdats wits
Expand All @@ -77,15 +74,6 @@ spec =
datum = Initial onChainPeriod onChainParties
in Map.elems (unTxDats dats) === [Data . toData $ toBuiltinData datum]

-- TODO(SN): assert monetary policy?
prop "distributes participation tokens (expected failure)" $ \txIn params ->
let ValidatedTx{body} = initTx params txIn
nfts = foldMap txOutNFT $ outputs body
in counterexample
("NFTs: " <> show nfts)
-- TODO(SN): re-enable length nfts == length (parties params)
True

describe "abortTx" $ do
it "transaction size below limit" $
let tx = abortTx
Expand Down

0 comments on commit b7a7ac4

Please sign in to comment.