law block_octets_round_trip

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:9

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

9# A block written as Octets reads back as the same block, for every block
10law block_octets_round_trip:
11  for +b: M.CmBlock
12  {M.CmBlock.of_octets(M.CmBlock.to_octets(b)) == Some{b} : Maybe<&2, M.CmBlock>}