Как вернуть false для "Нет тестов для запуска" в SWI-Prolog

101
10

Я не уверен, что это больше вопрос gitlab-ci или вопрос Пролога, но вот что я пытаюсь сделать:

Я написал несколько тестов Prolog в файле .plt и хотел, чтобы gitlab-ci перехватывал любые неудачные тесты, когда я нажимал код. Затем я обнаружил, что тесты всегда проходили, потому что я забыл загрузить файл .plt в сценарий gitlab-ci, в результате чего Prolog вернул No tests to run со статусом выхода 0:

Это подтолкнуло меня к мысли, что я должен написать код, чтобы система возвращала false а не true всякий раз, когда возвращается " No tests to run. Это должно позволить мне обнаруживать ошибки, связанные со сбоями при загрузке тестов. Но я не знаю, как это сделать.

Итак, мои вопросы:

Должен ли я справиться с этим на стороне gitlab-ci или на стороне Пролога, или я совершенно на неверном пути?

Какой код написать, чтобы это произошло?

Большое спасибо!

спросил(а) 2019-04-29T22:17:00+03:00 1 год, 7 месяцев назад
0
Ваш ответ
Введите минимум 50 символов
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема