• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
      • Std/io
      • Std/osets
      • Std/system
      • Std/basic
      • Std/typed-lists
      • Std/bitsets
      • Std/testing
        • Must-fail
        • Assert!-stobj
        • Must-eval-to
        • Assert!
        • Must-succeed
        • Must-succeed*
        • Assert?
        • Must-fail-with-soft-error
        • Must-fail-with-hard-error
        • Must-fail-with-error
        • Must-eval-to-t
        • Must-not-prove
        • Must-prove
        • Must-be-redundant
        • Must-not-be-table-key
        • Must-fail-local
        • Must-be-table-key
        • Assert-equal
        • Std/typed-alists
        • Std/stobjs
        • Std-extensions
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Testing-utilities
      • Math
    • Std/testing
    • Errors

    Assert-equal

    Abbreviation for calling assert! on an equality.

    Macro: assert-equal

    (defmacro assert-equal (x y)
              (cons 'assert!
                    (cons (cons 'equal (cons x (cons y 'nil)))
                          'nil)))