2.8 locked 100% 20 issues (20 closed — 0 open) Related issues Bug #169: CTESK не может создать трассы размера > 2Gb Actions Bug #204: Не поддерживается совместная работа функций next() и call() Actions Bug #206: Ошибка в генерируемой функции call Actions Bug #272: Обработка return в call-блоке сценарной функции Actions Bug #275: Ошибка в сгенерированном С-файле, если отличаются имена параметров функции вычисления покрытия. Actions Bug #281: Неверная генерация вычисления покрытия для только что созданных спецификационных типов. Actions Bug #297: Memory leak in tracer Actions Bug #438: Ошибка в сгенерированном отчете о покрытии Actions Bug #476: Некорректное описание функции get_List в русской документации Actions Bug #477: Сбой в нумерации разделов в русской документации Actions Bug #491: Неглубокое копирование строк Actions Bug #494: Опечатка в документации: раздел 20.2.12 Actions Bug #496: Утечка памяти при return из цикла for в coverage Actions Feature #208: Возможность отключения проверки предусловия реакций Actions Feature #209: Выделение предусловия реакции в отдельную функцию при трансляции Actions Task #203: Итерация значений итерационных переменных Actions Task #229: Выделение предусловия стимула в отдельную функцию при трансляции Actions Task #230: Возможность отключения проверки предусловия стимулов Actions Task #280: Функция отключения проверки постусловий Actions Task #497: Добавить assertion в init_Int2PtrHashMap Actions
2.9 open 0% 7 issues (0 closed — 7 open) Related issues Bug #300: Атомарность работы со ссылками Actions Bug #517: Недетерминированный обходчик ndfsm игнорирует режим работы UNTIL_END. Actions Bug #535: Не регистрируется ошибка SERIALIZATION_FAILED. Actions Feature #74: Определение пост-покрытий Actions Feature #501: Управление памятью для локальных массивов спецификационных ссылок Actions Feature #502: Определить поведение specification typedef для случая базового спецификационного типа Actions Task #498: Добавить синхронизацию изменения счетчика ссылок на объект Actions