law blowfish_bad_key_length

bend-osdev-blowfish@0.1.0.0 · LAWS.bend:24

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L
import bend-osdev-blowfish@0.1.0.0/blowfish.bend as BF

24# BEGIN GENERATED by gen/vectors.py: vectors
25# a Blowfish key of 3 bytes is refused (32 bits at least)
26law blowfish_bad_key_length:
27  {Result.map(&2, &2, L.LcError, BF.LcBlowfishKey, Unit, k => Unit{}, BF.LcBlowfish.key(B.Octets.of_list([0, 0, 0]))) == Fail{L.LcBadKeyLength{3n}} : Result<&2, &2, L.LcError, Unit>}