law aes256gcm_rejects_empty_envelope

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

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

429law aes256gcm_rejects_empty_envelope:
430    {AES.parse("") == Fail{AES.InvalidEnvelope{}} :
431        Result<&2, &2, AES.Error, AES.Envelope>}