law checksum_built

bend-osdev-acpi@0.1.1.0 · LAWS.bend:192

import Base
import bend-osdev-acpi@0.1.1.0/checksum.bend as C
import bend-osdev-acpi@0.1.1.0/mcfg.bend as Mc
import bend-osdev-acpi@0.1.1.0/example.bend as X

192# Checksums: a table built here sums to zero; one byte changed, it does not
193law checksum_built:
194  {C.AcpiChecksum.ok(Mc.AcpiMcfg.build(X.AcpiExample.mcfg())) == True{} : Bool}