• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
      • Cgen
      • Run-script
      • 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-prove
        • Must-not-prove
        • Must-not-be-table-key
        • Must-be-redundant
        • Must-fail-local
        • Must-be-table-key
        • Assert-equal
    • 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)))