Actions
Task #6065
openHandling 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.
Updated by Alexander Kamkin almost 5 years ago
- Priority changed from Normal to Low
- Target version changed from 2.2 to 2.5
Updated by Alexander Protsenko over 1 year ago
- Target version changed from 2.5 to 2.6
Actions