law md5_rfc1321_4

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

import bend-osdev-hashes@0.1.0.0/LAWS.bend as LAWS
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

135# MD5 (RFC 1321): RFC 1321, appendix A.5 (the test suite)
136law md5_rfc1321_4:
137  {M5.HsMd5.digest(B.Octets.of_string("message digest")) == B.Octets.of_list([249, 107, 105, 125, 124, 183, 147, 141, 82, 90, 47, 49, 170, 241, 97, 208]) : B.Octets}

Uses (5)

Used by (0)

No other definition uses this definition.