| :- 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 |
