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.
History
Updated by Alexander Kamkin 12 months ago
- Target version changed from 2.2 to 2.5
- Priority changed from Normal to Low