Actions
Feature #5573
closed[efsm] Включение инвариантов на переменные в EFSM
Start date:
01/23/2015
Due date:
% Done:
100%
Estimated time:
Published in build:
20150307
Updated by Sergey Smolov almost 10 years ago
- % Done changed from 0 to 50
- Published in build set to r1473
Реализован перенос инвариантов из CFG в CGAA.
Updated by Sergey Smolov almost 10 years ago
- Status changed from Open to Resolved
- % Done changed from 50 to 100
- Published in build changed from r1473 to r1486
Инварианты на переменные хранятся в EFSM-представлении в виде Map<String, Node> (ключ - имя переменной, значение - инвариант). CgaaEfsmTransformer в том числе добавляет инварианты из CGAA-представления. В классе Efsm присутствует метод добавления инварианта, но нет методов их получения извне, ввиду неясной политики именования таких функций в данном классе(только через приватные поля).
Updated by Igor Melnichenko over 9 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov over 9 years ago
- Status changed from Verified to Closed
- Published in build changed from r1486 to 20150307
Actions