Next: PlUnit Tests Expected to Raise Exceptions, Previous: PlUnit Nondeterminate Tests, Up: PlUnit A Unit Test Box [Contents][Index]
Tests that are expected to fail may be specified using the option
fail or by negating the test-body using \+.
test(is_set) :-
\+ is_set([a,a]).
test(is_set, [fail]) :-
is_set([a,a]).