Filtering...

strsplit-tests

books/std/strings/strsplit-tests
other
(in-package "STR")
other
(include-book "strsplit")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (equal (strsplit "foo:bar" #\:) (list "foo" "bar")))
other
(assert! (equal (strsplit "foo:bar:" #\:) (list "foo" "bar")))
other
(assert! (equal (strsplit ":foo:bar" #\:) (list "foo" "bar")))
other
(assert! (equal (strsplit "foo::bar" #\:) (list "foo" "bar")))
other
(assert! (equal (strsplit "foo::bar" #\:) (list "foo" "bar")))
other
(assert! (not (strsplit "" #\:)))
other
(assert! (not (strsplit ":::::" #\:)))