• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Community
  • Std
    • Std/lists
    • Omaps
    • Std/alists
    • Obags
    • Std/util
    • Std/strings
    • Std/osets
    • Std/io
    • Std/basic
    • Std/system
    • Std/typed-lists
    • Std/bitsets
    • Std/testing
      • Must-fail
        • Must-fail-with-soft-error
          • Ensure-soft-error
        • Must-fail-with-hard-error
        • Must-fail-with-error
        • Must-fail-local
      • Assert!-stobj
      • Must-eval-to
      • Assert!
      • Must-succeed
      • Must-succeed*
      • Assert?
      • Must-fail-with-soft-error
        • Ensure-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/typed-alists
    • Std/stobjs
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Must-fail-with-soft-error

Ensure-soft-error

Deprecated synonym of must-fail-with-soft-error