Filtering...

all-lambdas-tests

books/std/system/all-lambdas-tests

Included Books

all-lambdas assert-equal
other
(in-package "ACL2")
include-book
(include-book "all-lambdas")
include-book
(include-book "std/testing/assert-equal" :dir :system)
same-member-equalmacro
(defmacro same-member-equal
  (x y)
  `(let ((x ,X) (y ,Y))
    (and (subsetp-equal x y) (subsetp-equal y x))))
other
(assert-equal (all-lambdas 'x nil) nil)
other
(assert-equal (all-lambdas ''#\x nil) nil)
other
(assert-equal (all-lambdas '(f a b) nil) nil)
other
(assert-equal (all-lambdas '((lambda (u) (cons u u)) (g '3)) nil)
  '((lambda (u) (cons u u))))
other
(assert! (same-member-equal (all-lambdas '((lambda (x y) (+ x y)) (h a b c) ((lambda (y) y) z))
      nil)
    '((lambda (x y) (+ x y)) (lambda (y) y))))
other
(assert! (same-member-equal (all-lambdas '(f ((lambda (q) y) '3/4)
        (len ((lambda (a b) (+ a b)) aaa bbb)))
      nil)
    '((lambda (q) y) (lambda (a b) (+ a b)))))