Filtering...

pseudo-tests-and-call-listp-tests

books/std/system/pseudo-tests-and-call-listp-tests

Included Books

pseudo-tests-and-call-listp assert-bang
other
(in-package "ACL2")
include-book
(include-book "pseudo-tests-and-call-listp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pseudo-tests-and-call-listp nil))
other
(assert! (pseudo-tests-and-call-listp (list (make tests-and-call :tests '((f x)) :call '(g y z))
      (make tests-and-call :tests '('3 x) :call ''#\a))))
other
(assert! (not (pseudo-tests-and-call-listp (list (make tests-and-call :tests 1 :call 2)
        (make tests-and-call :tests "a" :call "b")))))
other
(assert! (not (pseudo-tests-and-call-listp 88)))
other
(assert! (not (pseudo-tests-and-call-listp (make tests-and-call :tests 1 :call 2))))