]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - component.tester.dl
all connect tests run now
[pub/jan/ewbs-dlv.git] / component.tester.dl
1 UNCOMPUTED_c(C,O,X) :- expect_c(C,O,X), not c(C,O,X).
2 UNCOMPUTED_p(C,O,X) :- expect_p(C,O,X), not p(C,O,X).
3 UNEXPECTED_c(C,O,X) :- c(C,O,X), not expect_c(C,O,X).
4 UNEXPECTED_p(C,O,X) :- p(C,O,X), not expect_p(C,O,X).
5 DUPLICATED_c(C,O,X,Y) :- c(C,O,X), c(C,O,Y), X < Y.
6 DUPLICATED_p(C,O,X,Y) :- p(C,O,X), p(C,O,Y), X < Y.