def encrypt_invalid_plaintext

qasim-bend-kit@0.1.0.2 · PROOF.bend:617

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

617def encrypt_invalid_plaintext(key: AES.SecretKey, nonce: AES.Nonce,
618    +aad: List<&2, U32>, +plaintext: List<&2, U32>, aad_ok: Bool) ->
619    {AES.encrypt_checked(key, nonce, aad, plaintext, aad_ok, False{}) ==
620      Fail{AES.InvalidBytes{}} : Result<&2, &2, AES.Error, AES.Envelope>}:
621    match aad_ok:
622        case True{}: {==}
623        case False{}: {==}