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