Filtering...

binary-tests

books/std/strings/binary-tests
other
(in-package "STR")
other
(include-book "binary")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (and (equal (bin-digit-chars-value (explode "0")) 0)
    (equal (bin-digit-chars-value (explode "1")) 1)
    (equal (bin-digit-chars-value (explode "01")) 1)
    (equal (bin-digit-chars-value (explode "0101011101"))
      349)))
other
(assert! (equal (strval2 "") nil))
other
(assert! (equal (strval2 "0") 0))
other
(assert! (equal (strval2 "0101") 5))