Added by Sergey Smolov over 11 years ago. Updated about 10 years ago.
100%
Description
1. Каждая clock-like variable должна быть представлена в списке чувствительности соответствующего процесса;
2. clock-like variable не обладает значением, есть только передний\задний фронты.
Извлечение clock-like переменных реализовано (согласно алгоритму, описанному в статье, поданной на конференцию МЭС) в компоненте ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaClockExtractor.
Компонент не является самостоятельным и входит в состав наследника Engine ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.
Для завершения данной задач необходимо доработать имеющийся jUnit-тест, снабдив запускаемый в нем исполняемый модуль Retrascope дополнительными сведениями.
Это необходимо потому, что существует два инструмента, строящих сущности типа "efsm".
Тест CgaaEfsmTransformerTestCase проходит.