Handling marks with exported symbols in the coverage extractor
Detected in build:
Published in build:
- External variables should be stored in the internal representation.
- There should be a possibility to write constrains over external variables.
Updated by Alexander Kamkin about 3 years ago
- Priority changed from Normal to Low
- Target version changed from 2.2 to 2.5
Updated by Alexander Protsenko 5 days ago
- Target version changed from 2.5 to 2.6