syntest-framework / syntest-core / 6145888700

46%

Build Type

push

github

Committed by web-flow

Commit Message

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"

Run Details

213 of 481 branches covered (0.0%)

Branch coverage included in aggregate %.

3 of 94 new or added lines in 5 files covered. (3.19%)

3 existing lines in 1 file now uncovered.

800 of 1476 relevant lines covered (54.2%)

40.19 hits per line