Вопросы с тегом 'acsl'

ACSL (язык спецификации ANSI/ISO C) - это язык спецификации для программ на C, используемый такими инструментами, как Frama-C.
1

Указание ссылочной прозрачности в ACSL

Я хочу найти некоторую аннотацию ACSL, которую можно применить к функции или указателю функции, чтобы указать, что она обладает свойством прозрачности ссылок. Некоторый способ сказать, что "эта функция всегда будет возвращать одно и то же значение, ...
12 нояб. '18 в 7:51