История изменений
Исправление MOPKOBKA, (текущая версия) :
Там они скорее всего только в RT проверяются. В Ada Spark они могут проверяться в момент компиляции, и я надеюсь что будет следующим шагом для контрактов из С++.
Исправление MOPKOBKA, :
Там они скорее всего только в RT проверяются. В Ada Spark они могут проверятся в момент компиляции, и я надеюсь что будет следующим шагом для контрактов из С++.
Исходная версия MOPKOBKA, :
Там они скорее всего только в RT проверяются. В Ada Spark они могут проверятся в момент компиляции, и я надеюсь что будет следующим шагом для контрактов в С++.