From e23004fd59cec7c8ee04443b957a991abb8190b2 Mon Sep 17 00:00:00 2001 From: Richard Marko Date: Thu, 12 May 2022 18:10:55 +0200 Subject: [PATCH] Add CBOR roundtrip property for ScriptData --- cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs b/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs index 92a0690de15..760f65616e3 100644 --- a/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs +++ b/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs @@ -147,6 +147,10 @@ prop_roundtrip_script_PlutusScriptV2_CBOR = roundtrip_CBOR (AsScript AsPlutusScriptV2) (genScript (PlutusScriptLanguage PlutusScriptV2)) +prop_roundtrip_ScriptData_CBOR :: Property +prop_roundtrip_ScriptData_CBOR = + roundtrip_CBOR AsScriptData genScriptData + prop_roundtrip_UpdateProposal_CBOR :: Property prop_roundtrip_UpdateProposal_CBOR = roundtrip_CBOR AsUpdateProposal genUpdateProposal