def main

bend-osdev-pkcs7@0.1.0.0 · check.bend:64

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M
import bend-osdev-pkcs7@0.1.0.0/pkcs7.bend as P

64def main() -> IO(Unit):
65  +m15 = msg(15n)
66  +m1000 = msg(1000n)
67  do IO<Unit>:
68    IO.print("pad_16_empty " ++ res(P.Pkcs7.pad(16n, B.Octets.empty())))
69    IO.print("pad_16_15 " ++ res(P.Pkcs7.pad(16n, m15)))
70    IO.print("pad_8_5 " ++ res(P.Pkcs7.pad(8n, msg(5n))))
71    IO.print("unpad_16_15 " ++ back(Result.bind(&2, &2, M.CmError, B.Octets, B.Octets, P.Pkcs7.pad(16n, m15), c => P.Pkcs7.unpad(16n, c)), m15))
72    IO.print("unpad_255_1000 " ++ back(Result.bind(&2, &2, M.CmError, B.Octets, B.Octets, P.Pkcs7.pad(255n, m1000), c => P.Pkcs7.unpad(255n, c)), m1000))
73    IO.print("pad_0 " ++ res(P.Pkcs7.pad(0n, m15)))
74    IO.print("pad_256 " ++ res(P.Pkcs7.pad(256n, m15)))
75    IO.print("unpad_zero " ++ res(P.Pkcs7.unpad(16n, B.Octets.append(m15, B.Octets.of_list([0])))))
76    IO.print("unpad_mixed " ++ res(P.Pkcs7.unpad(16n, B.Octets.append(B.Octets.take(13n, m15), B.Octets.of_list([2, 3, 3])))))
77    IO.print("unpad_not_whole " ++ res(P.Pkcs7.unpad(16n, m15)))
78    IO.print("unpad_empty " ++ res(P.Pkcs7.unpad(16n, B.Octets.empty())))