law md5_rfc1321_1

bend-osdev-hashes@0.1.0.0 · LAWS.bend:123

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/md5.bend as M5

123# MD5 (RFC 1321): RFC 1321, appendix A.5 (the test suite)
124law md5_rfc1321_1:
125  {M5.HsMd5.digest(B.Octets.of_string("")) == B.Octets.of_list([212, 29, 140, 217, 143, 0, 178, 4, 233, 128, 9, 152, 236, 248, 66, 126]) : B.Octets}