Actions
Task #5609
closedmake process-local variables be efsm-model-global
Start date:
02/11/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
While EFSM models being extracted from CFG processes, they should have global variables only (in terms of EfsmModel).It means, that when different CFG processes have different local variables, these variables should be transformed into global variables of the final EfsmModel.
Actions