Search-engine friendly clone of the
ACL2 documentation
.
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
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
Must-fail-with-soft-error
Ensure-soft-error
Deprecated synonym of
must-fail-with-soft-error