Task #5875
closed
Check state/transition count for extracted EFSM models
Added by Sergey Smolov over 9 years ago.
Updated over 9 years ago.
Published in build:
20150701
Description
Take some values as 'valid' and compare characteristics of the extracted models with them.
- Subject changed from Check state/transition count at the extracted EFSM models to Check state/transition count for extracted EFSM models
- Status changed from New to Open
- Status changed from Open to Resolved
- % Done changed from 0 to 100
- Status changed from Resolved to Verified
- Status changed from Verified to Closed
- Published in build set to 20150701
Also available in: Atom
PDF