setUp('…') :- assert…

test('…') :- predicate, checks. (failure lässt auch test fehlschlagen)

tearDown('…') :- retract…

besser als normaler Fehlschlag in Tests: test(…) :- assert_true(predicate mit eingesetzten werten).

runtests. (Ausführen der Tests in Prolog-Konsole)

org.cs3.pdt.internal.punit