[ library(test_util) | Reference Manual | Alphabetic Index ]
+TestName ==== +Test
Labels a test with a name, for easier reference.
Description
Test don't need to be named, but if they are, any messages
about the Test will refer to the TestName instead of file and
line number.
'====' is a low-precedence infix operator, implying that its
right-hand-side can be any of the other test patterns without
requiring further parentheses.
TestName can be any term, but ground terms or simple atoms are
recommended.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Examples
test_float_plus_integer_equals_float ====
X is 3.0+4 should_give X=7.0.
See Also
should_give / 2, should_fail / 1, should_throw / 2, should_raise / 2, should_output / 2, else_skip / 2, fixme / 1