• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Community
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities
    • Cgen
    • Run-script
    • Std/testing
      • Must-fail
        • Must-fail-with-soft-error
        • Must-fail-with-hard-error
        • Must-fail-with-error
          • Ensure-error
        • Must-fail-local
      • 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
        • Ensure-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

• Must-fail-with-error

Ensure-error

Deprecated synonym of must-fail-with-error