Commit 66172c64 authored by Joshua Schmidt's avatar Joshua Schmidt
Browse files

add some tests

parent 0256135d
......@@ -148,4 +148,13 @@ test(graph3, [true(D == [2,3])]) :-
test(graph4, [true(D == [1,5])]) :-
k_dominating_set([1,2,3,4,5,6,7,8], [[1,2],[1,3],[1,4],[1,5],[5,6],[5,7],[5,8]], D).
test(graph5, [true(D == [2])]) :-
k_dominating_set([1,2,3,4,5], [[1,2],[2,3],[2,4],[2,5]], D).
test(graph6, [true(D == [2,6])]) :-
k_dominating_set([1,2,3,4,5,6], [[1,2],[2,3],[2,4],[2,5]], D).
test(graph7, [true(D == [2,6])]) :-
k_dominating_set([1,2,3,4,5,6], [[1,2],[2,3],[2,4],[2,5],[4,6]], D).
:- end_tests(k_dominating_set).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment