2.9

open

Time tracking

Estimated time	0.00 hour
Spent time	0.00 hour

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

CTESK