other
(in-package "STR")
other
(include-book "suffixp")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (strsuffixp "" ""))
other
(assert! (strsuffixp "" "foo"))
other
(assert! (strsuffixp "o" "foo"))
other
(assert! (strsuffixp "oo" "foo"))
other
(assert! (not (strsuffixp "ooo" "foo")))
other
(assert! (not (strsuffixp "fo" "foo")))
other
(assert! (strsuffixp "foo" "foo"))