bde955c276
These small examples are designed to run quickly with the Gerrit prolog-shell, but not depending on a local Gerrit repository server. Change-Id: I8f58a6740c6f2c79ae1314f2ae593409ee60440d
26 lines
666 B
Prolog
26 lines
666 B
Prolog
:- load([rules,utils]).
|
|
:- begin_tests(t2).
|
|
|
|
% expected to pass or fail once.
|
|
:- test0(super_users(1000)).
|
|
:- test1(super_users(1001)).
|
|
|
|
:- test1(is_super_user(1001)).
|
|
:- test1(is_super_user(1002)).
|
|
:- test0(is_super_user(1003)).
|
|
|
|
:- test1(super_users(X)). % expected fail (pass twice)
|
|
:- test1(multi_users(X)). % expected fail (pass many times)
|
|
|
|
:- test1(single_user(X)). % expected pass once
|
|
|
|
% Redefine change_owner, skip gerrit:change_owner,
|
|
% then test is_owner without a gerrit repository.
|
|
|
|
:- redefine(change_owner,1,(change_owner(42))).
|
|
:- test1(is_owner(42)).
|
|
:- test1(is_owner(X)).
|
|
:- test0(is_owner(24)).
|
|
|
|
:- end_tests_or_halt(2). % expect 2 failures
|