other
(in-package "STR")
other
(include-book "base64")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (equal (base64-encode "") ""))
other
(assert! (equal (base64-encode "f") "Zg=="))
other
(assert! (equal (base64-encode "fo") "Zm8="))
other
(assert! (equal (base64-encode "foo") "Zm9v"))
other
(assert! (equal (base64-encode "foob") "Zm9vYg=="))
other
(assert! (equal (base64-encode "fooba") "Zm9vYmE="))
other
(assert! (equal (base64-encode "foobar") "Zm9vYmFy"))
other
(define base64-decode-easy ((x stringp)) (b* (((mv ok orig) (base64-decode x)) ((unless ok) (raise "Whoops") "")) orig))
other
(assert! (equal "" (base64-decode-easy "")))
other
(assert! (equal "f" (base64-decode-easy "Zg==")))
other
(assert! (equal "fo" (base64-decode-easy "Zm8=")))
other
(assert! (equal "foo" (base64-decode-easy "Zm9v")))
other
(assert! (equal "foob" (base64-decode-easy "Zm9vYg==")))
other
(assert! (equal "fooba" (base64-decode-easy "Zm9vYmE=")))
other
(assert! (equal "foobar" (base64-decode-easy "Zm9vYmFy")))