Filtering...

string-symbollist-alistp-tests

books/std/typed-alists/string-symbollist-alistp-tests

Included Books

string-symbollist-alistp assert-bang
other
(in-package "ACL2")
include-book
(include-book "string-symbollist-alistp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (string-symbollist-alistp nil))
other
(assert! (string-symbollist-alistp '(("AZ") ("" x y))))
other
(assert! (not (string-symbollist-alistp #C(1 1))))
other
(assert! (not (string-symbollist-alistp '("a" (b)))))
other
(assert! (not (string-symbollist-alistp '(("a" b) (3)))))
other
(assert! (not (string-symbollist-alistp '(("a" b) ("str" "s" "t")))))