Feature #5587
closed
[efsm] Исключение инвариантов из состояний и GA
Added by Igor Melnichenko almost 10 years ago.
Updated over 9 years ago.
Published in build:
20150307
Description
Так как все инварианты теперь хранятся в EFSM централизованно, они больше не нужны в состояниях и GA.
- Status changed from New to Open
Из состояний и охранных условий инварианты будут удалены, но они будут исопльзоваться при проверке их выполнимости.
- Status changed from Open to Resolved
- % Done changed from 0 to 100
- Published in build set to r1494
- Status changed from Resolved to Verified
- Status changed from Verified to Closed
- Published in build changed from r1494 to 20150307
Also available in: Atom
PDF