Filtering...

hex-tests

books/std/strings/hex-tests
other
(in-package "STR")
other
(include-book "hex")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (and (equal (hex-digit-char-value #\A) 10)
    (equal (hex-digit-char-value #\B) 11)
    (equal (hex-digit-char-value #\C) 12)
    (equal (hex-digit-char-value #\D) 13)
    (equal (hex-digit-char-value #\E) 14)
    (equal (hex-digit-char-value #\F) 15)
    (equal (hex-digit-char-value #\a) 10)
    (equal (hex-digit-char-value #\b) 11)
    (equal (hex-digit-char-value #\c) 12)
    (equal (hex-digit-char-value #\d) 13)
    (equal (hex-digit-char-value #\e) 14)
    (equal (hex-digit-char-value #\f) 15)
    (equal (hex-digit-char-value #\0) 0)
    (equal (hex-digit-char-value #\1) 1)
    (equal (hex-digit-char-value #\2) 2)
    (equal (hex-digit-char-value #\3) 3)
    (equal (hex-digit-char-value #\4) 4)
    (equal (hex-digit-char-value #\5) 5)
    (equal (hex-digit-char-value #\6) 6)
    (equal (hex-digit-char-value #\7) 7)
    (equal (hex-digit-char-value #\8) 8)
    (equal (hex-digit-char-value #\9) 9)))
other
(assert! (and (equal (hex-digit-chars-value (coerce "0" 'list)) 0)
    (equal (hex-digit-chars-value (coerce "6" 'list)) 6)
    (equal (hex-digit-chars-value (coerce "12" 'list)) 18)
    (equal (hex-digit-chars-value (coerce "1234" 'list))
      4660)))
other
(assert! (equal (strval16 "") nil))
other
(assert! (equal (strval16 "0") 0))
other
(assert! (equal (strval16 "1234") 4660))