История изменений
Исправление SZT, (текущая версия) :
Приведите примеры опенсорсных проектов, которые используют.
Поиском по гитхабу поищи https://github.com/search?l=C&p=2&q="ensures result"&type=Code
По поводу аналогов этого ACSL:
Для C/C++ есть еще мокросовтофский SAL https://docs.microsoft.com/ru-ru/visualstudio/code-quality/using-sal-annotati...
Для дотнета есть какой-то System.Diagnostics.Contracts https://docs.microsoft.com/en-us/dotnet/api/system.diagnostics.contracts.cont...
Ну и еще Java с этим Java Modeling Language можно найти : https://github.com/kiniry/SenseTile/blob/544e1c5be6109d8381f99233aac80551aef3...
Исходная версия SZT, :
Приведите примеры опенсорсных проектов, которые используют.
Поиском по гитхабу поищи https://github.com/search?l=C&p=2&q="ensures result"&type=Code
По поводу аналогов этого ACSL:
Для C/C++ есть еще мокросовтофский SAL https://docs.microsoft.com/ru-ru/visualstudio/code-quality/using-sal-annotati...
Для дотнета есть какой-то System.Diagnostics.Contracts https://docs.microsoft.com/en-us/dotnet/api/system.diagnostics.contracts.cont...
Ну и еще Java с этим Java Modeling Language можно найти. : https://github.com/kiniry/SenseTile/blob/544e1c5be6109d8381f99233aac80551aef3...