Filtering...

keyword-symbol-alistp-tests

books/std/typed-alists/keyword-symbol-alistp-tests

Included Books

keyword-symbol-alistp assert-bang
other
(in-package "ACL2")
include-book
(include-book "keyword-symbol-alistp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (keyword-symbol-alistp nil))
other
(assert! (keyword-symbol-alistp '((:a . b))))
other
(assert! (keyword-symbol-alistp '((:a . x) (:b . y) (:c . z))))
other
(assert! (keyword-symbol-alistp '((:t . :kwd) (:logic . :program))))
other
(assert! (not (keyword-symbol-alistp 3)))
other
(assert! (not (keyword-symbol-alistp 55)))
other
(assert! (not (keyword-symbol-alistp '(3))))
other
(assert! (not (keyword-symbol-alistp '((:x . y) (2/3)))))
other
(assert! (not (keyword-symbol-alistp '((xx . yy) (:a . sym)))))
other
(assert! (not (keyword-symbol-alistp '((:a . "x") (:b . y)))))
other
(assert! (not (keyword-symbol-alistp '((:a . x) ("b" . y)))))