[input-output-hk/cardano-sl] [CBR-322] Tests for block metadata (#3317)

edsko commented on this pull request.

> mkWallet :: Hash h Addr => Ours Addr -> Transaction h Addr -> Wallet h Addr
mkWallet = walletBoot Full.walletEmpty

+ — | Translates the DSL BlockMeta’ value to BlockMeta
+ intBlockMeta :: forall h. (Hash h Addr, Interpret h (BlockMeta’ h))
+ => IntCtxt h
+ -> (BlockMeta’ h)
+ -> TranslateT IntException IO BlockMeta
+ intBlockMeta intCtxt a = do
+ ma’ <- catchTranslateErrors $ runIntT' intCtxt $ int a + case ma' of + Left err -> liftIO $ throwM err

I guess the point is to have the interpretation exception be thrown up to the test framework, and have the test marked as failed should that happen.

Добавить комментарий