law aes256gcm_decrypt_rejects_invalid_aad

qasim-bend-kit@0.1.0.2 · LAWS.bend:352

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

352law aes256gcm_decrypt_rejects_invalid_aad:
353    for +key: AES.SecretKey
354    for +aad: List<&2, U32>
355    for +envelope: AES.Envelope
356    for valid: {AES.aad_valid(aad) == False{} : Bool}
357    {AES.decrypt(key, aad, envelope) == Fail{AES.InvalidBytes{}} :
358        Result<&2, &2, AES.Error, List<&2, U32>>}