Bug #4357
closed[cfg][transformer][cgaa] Внести исправления в методы извлечения clock-like variables
100%
Description
1. Каждая clock-like variable должна быть представлена в списке чувствительности соответствующего процесса;
2. clock-like variable не обладает значением, есть только передний\задний фронты.
Updated by Alexander Kamkin almost 10 years ago
- Subject changed from Внести исправления в методы извлечения clock-like variables to [cgaa][extractor] Внести исправления в методы извлечения clock-like variables
- Target version set to 0.1
Updated by Alexander Kamkin almost 10 years ago
- Subject changed from [cgaa][extractor] Внести исправления в методы извлечения clock-like variables to [cfg][transformer][cgaa] Внести исправления в методы извлечения clock-like variables
Updated by Sergey Smolov over 9 years ago
- % Done changed from 0 to 80
- Published in build set to r969
Извлечение clock-like переменных реализовано (согласно алгоритму, описанному в статье, поданной на конференцию МЭС) в компоненте ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaClockExtractor.
Компонент не является самостоятельным и входит в состав наследника Engine ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.
Для завершения данной задач необходимо доработать имеющийся jUnit-тест, снабдив запускаемый в нем исполняемый модуль Retrascope дополнительными сведениями.
Это необходимо потому, что существует два инструмента, строящих сущности типа "efsm".
Updated by Sergey Smolov over 9 years ago
- Status changed from Open to Resolved
- % Done changed from 80 to 100
- Published in build changed from r969 to r984
Тест CgaaEfsmTransformerTestCase проходит.
Updated by Alexander Kamkin over 9 years ago
- Status changed from Resolved to Closed