[ library(test_util) | Reference Manual | Alphabetic Index ]

+Precondition else_skip +Test

Make Test conditional on a Precondition.

Description

Skip a Test when the Precondition (a general goal) is not satisfied. When multiple tests are done, the number of skipped tests is reported at the end. Skipped tests count as neither succeeded or failed.

Modules

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

Examples

        get_flag(version_as_list, V), V@>=[7,0]
    else_skip
        engine_self(E) should_give is_handle(E, engine).

See Also

should_give / 2, should_fail / 1, should_throw / 2, should_raise / 2, should_output / 2, ==== / 2, fixme / 1