Did you know ... | Search Documentation: |
Predicate assertion_failed/2 |
fail
if Goal
simply failed or an exception call otherwise. If this hook fails, the
default behaviour is activated. If the hooks throws an exception it will
be propagated into the caller of assertion/1.