
+Goal should_fail

   Run the goal Goal and print a message if it doesn't fail

Type
   library(test_util)

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

Examples
   3.0 > 3 should_fail.

See Also
   should_give / 2, should_throw / 2, should_raise / 2, should_fail / 2, should_give / 3, should_throw / 3, should_raise / 3
