Тесты
Перед тем, как отправить программу на сдачу, вы обязаны ее протестировать на вышеуказанном наборе тестов и добиться четкого OK на всех тестах. В противном случае программа не будет даже рассматриваться.
Из позитивного: если вы добились безошибочного выполнения всех тестов, вероятность, что ваши предикаты будут приняты сразу, очень и очень велика.
Как использовать
1. Скачать 
файл с тестом.
2. Разархивировать его в папку с вашей программой.
3. Написать в программе строчку типа (с указанием верного пути к файлу, конечно):
Не забудьте закомментировать эту строку перед отправкой задания!
4. После этого можно запускать набор тестов путем запуска предиката run_tests.
Небольшое описание тестового набора
В результате запуска тестового предиката программа вам выведет очень большой отчет. В конце каждого теста будет стоять интерпретация – прошла программа данный тест или нет.
Если вы не написали какой-то предикат – ничего страшного, тестовая оболочка просто выдаст сообщение в соответствующих тестах existence_error. Это позволило сделать набор тестов сразу для ряда вариантов заданий графовых функций – как для имплицитного, так и для эксплицитного.
Мне кажется, что в тесте ошибка. Что делать?
1. Подумайте, возможно ошибка у вас.
2. Подумайте еще раз – тесты проверялись не один раз на разных работах. Наверное, ошибка у вас.
3. Попытайтесь распотрошить тесты – они устроены довольно просто. Действительно ошибка в тестах? Напишите мне.