Filtering...

symbol-symbol-alistp-tests

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

Included Books

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