[input-output-hk/cardano-sl] WIP: CDEC-380: Property testing (#3353)

@mdimjasevic pushed 1 commit.

b4ef4e2 WIP: One step closer to fixing a test for ‘translate’