Actions
Task #6393
closedmigrate to EFSM model containing only concurrent assignments
Status:
Rejected
Priority:
Normal
Assignee:
Category:
Engine (Generator)
Target version:
Start date:
11/04/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Published in build:
Description
EFSM model contains only concurrent (non-blocking) assignments.
Probably, EFSM-based test generator should be modified to support this issue.
Actions