law md5_rfc1321_6

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

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

143# MD5 (RFC 1321): RFC 1321, appendix A.5 (the test suite)
144law md5_rfc1321_6:
145  {M5.HsMd5.digest(B.Octets.of_string("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789")) == B.Octets.of_list([209, 116, 171, 152, 210, 119, 217, 245, 165, 97, 28, 44, 159, 65, 157, 159]) : B.Octets}