Actions
Bug #5552
closed[efsm] [extraction] Извлечение событий
Start date:
01/12/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
20150307
Description
Из b11 извлекается несколько переходов с пустым списком чувствительности, хотя в исходном коде все операции выполняются внутри process(clock,reset).
Actions