Actions
Feature #5587
closed[efsm] Исключение инвариантов из состояний и GA
Start date:
01/27/2015
Due date:
% Done:
100%
Estimated time:
Published in build:
20150307
Description
Так как все инварианты теперь хранятся в EFSM централизованно, они больше не нужны в состояниях и GA.
Updated by Sergey Smolov almost 10 years ago
- Status changed from New to Open
Из состояний и охранных условий инварианты будут удалены, но они будут исопльзоваться при проверке их выполнимости.
Updated by Sergey Smolov almost 10 years ago
- Status changed from Open to Resolved
- % Done changed from 0 to 100
- Published in build set to r1494
Updated by Igor Melnichenko almost 10 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov almost 10 years ago
- Status changed from Verified to Closed
- Published in build changed from r1494 to 20150307
Actions