Исправление tailgunner, (текущая версия) :
существует два вида контрактов, первые проверяются автоматически, вторые не проверяются вообще. третьего, по-твоему, не дано, правильно?
Именно так.
как ты проверяешь работоспособность такого кода? автоматически, или никак?
Работоспособность кода проверяется тестами, естественно. Соблюдение контракта в приведенном тобой случае не проверяется никак.
Исходная версия tailgunner, :
существует два вида контрактов, первые проверяются автоматически, вторые не проверяются вообще. третьего, по-твоему, не дано, правильно?
Именно так.