Included Books
other
(in-package "ACL2")
include-book
(include-book "strtok-bang")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (strtok! "abc.de..f" (list #\.)) '("abc" "de" "" "f"))
other
(assert-equal (strtok! "abc.de.:f" (list #\. #\:)) '("abc" "de" "" "f"))
other
(assert-equal (strtok! "" (list #\. #\:)) '(""))
other
(assert-equal (strtok! "a sequence of words" (list #\ )) '("a" "sequence" "of" "" "words"))