Filtering...

pseudo-event-formp-tests

books/std/system/pseudo-event-formp-tests

Included Books

pseudo-event-formp assert-bang
other
(in-package "ACL2")
include-book
(include-book "pseudo-event-formp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pseudo-event-formp '(defun f (x) x)))
other
(assert! (pseudo-event-formp '(encapsulate nil (defun f (x) x))))
other
(assert! (not (pseudo-event-formp 33)))
other
(assert! (not (pseudo-event-formp '("a" 1))))
other
(assert! (not (pseudo-event-formp nil)))
other
(assert! (not (pseudo-event-formp '((f x) y))))