Filtering...

pseudo-tests-and-callp-tests

books/std/system/pseudo-tests-and-callp-tests

Included Books

pseudo-tests-and-callp assert-bang
other
(in-package "ACL2")
include-book
(include-book "pseudo-tests-and-callp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pseudo-tests-and-callp (make tests-and-call :tests '((f x)) :call ''3)))
other
(assert! (not (pseudo-tests-and-callp (make tests-and-call :tests "a" :call 2))))
other
(assert! (not (pseudo-tests-and-callp 88)))