syntest-framework / syntest-core / 6145888700 / 3 – libraries/search

46%

main: 46%

push

github

feat: coverage data (#364)

Implements a way to:
- Store the final covered and uncovered objectives to file.
- Store the distance to each objective per timestep to the metric manager.

Renamed:
- seriesName -> name
- seriesType -> seriesUnit
- distributionName -> name
- property -> name

Added:
- Metric type: "series measurement"

104 of 222 branches covered (0.0%)

Branch coverage included in aggregate %.

352 of 606 relevant lines covered (58.09%)

6.41 hits per line