law md5_rfc1321_3

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

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

131# MD5 (RFC 1321): RFC 1321, appendix A.5 (the test suite)
132law md5_rfc1321_3:
133  {M5.HsMd5.digest(B.Octets.of_string("abc")) == B.Octets.of_list([144, 1, 80, 152, 60, 210, 79, 176, 214, 150, 63, 125, 40, 225, 127, 114]) : B.Octets}