law md4_rfc1320_4

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/md4.bend as M4

75# MD4 (RFC 1320): RFC 1320, appendix A.5 (the test suite)
76law md4_rfc1320_4:
77  {M4.HsMd4.digest(B.Octets.of_string("message digest")) == B.Octets.of_list([217, 19, 10, 129, 100, 84, 159, 232, 24, 135, 72, 6, 225, 199, 1, 75]) : B.Octets}