Project

General

Profile

2.8

locked

100%

20 issues   (20 closed — 0 open)

Time tracking
Estimated time 0.00 hour
Spent time 0.00 hour
Issues by
Bug

13/13
Feature

2/2
Task

5/5
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