Task #6065
Handling marks with exported symbols in the coverage extractor
Start date:
06/19/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
- External variables should be stored in the internal representation.
- There should be a possibility to write constrains over external variables.