Actions
Task #7104
closedsmv-test-parser: filter tests
Start date:
04/25/2016
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
20161025
Description
The engine takes EFSM model and Test model and produces a "filtered" Test model. The filtered Test model includes such tests that do not include each other.
Engine should use EFSM simulator to check which transitions are fired at which test.
Updated by Sergey Smolov over 8 years ago
- Subject changed from efsm-test-filter engine to smv-test-parser: filter tests
Implement the functionality described above as a convenience method inside smv-test-parser engine.
Updated by Sergey Smolov over 8 years ago
- Status changed from Open to Resolved
- % Done changed from 0 to 100
Done in 4d9d3ddd
Updated by Sergey Smolov over 8 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 8 years ago
- Status changed from Verified to Closed
- Detected in build changed from svn to master
- Published in build set to 20161025
Actions