Filtering...

string-string-alistp-tests

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

Included Books

string-string-alistp assert-bang
other
(in-package "ACL2")
include-book
(include-book "string-string-alistp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (string-string-alistp nil))
other
(assert! (string-string-alistp '(("abc" . "def"))))
other
(assert! (string-string-alistp '(("" . "1") ("U" . "string"))))
other
(assert! (not (string-string-alistp 465)))
other
(assert! (not (string-string-alistp '("a" "b" "c"))))
other
(assert! (not (string-string-alistp '(("a" . "b") (c . "d")))))
other
(assert! (not (string-string-alistp '(("a" . "b") ("c" . d)))))