law md5_rfc1321_5

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

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

139# MD5 (RFC 1321): RFC 1321, appendix A.5 (the test suite)
140law md5_rfc1321_5:
141  {M5.HsMd5.digest(B.Octets.of_string("abcdefghijklmnopqrstuvwxyz")) == B.Octets.of_list([195, 252, 211, 215, 97, 146, 228, 0, 125, 251, 73, 108, 202, 103, 225, 59]) : B.Octets}