Filtering...

maybe-pseudo-event-formp-tests

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

Included Books

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