law md5_rfc1321_7

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

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

147# MD5 (RFC 1321): RFC 1321, appendix A.5 (the test suite)
148law md5_rfc1321_7:
149  {M5.HsMd5.digest(B.Octets.of_string("12345678901234567890123456789012345678901234567890123456789012345678901234567890")) == B.Octets.of_list([87, 237, 244, 162, 43, 227, 201, 85, 172, 73, 218, 46, 33, 7, 182, 122]) : B.Octets}