Ну. Как бы. Есть assert.
Это лингвистическая конструкция (а заодно и встроеннная функция), проверяющая, что следующий участок кода возвращает True в качестве результата выполнения.
Например, сравнение (а == б).
Они, соответственно, служат критерием прохождения теста.
Прошли ассерты - тест зелёный, не прошли - красный.
Вот там мсье писал такие тесты, в которых этих проверок не было в принципе, ни в каком виде.
И тесты его проходили примерно всегда, за исключением ситуаций, когда по дороге сваливались с unhandled exception.