renatahodovan / grammarinator / 40402418091

83%

Build Type

push

github

Committed by web-flow

Commit Message

Identify file population individuals by name (#407)

Make FilePopulation keep track of tree names (i.e., filenames without
directory and extension) instead of paths, and expose the name of an
individual via a new name accessor of Individual (which returns no name
by default).

Co-authored-by: Akos Kiss <akiss@inf.u-szeged.hu>

Coverage Stats

15 of 17 new or added lines in 2 files covered. (88.24%)

8 existing lines in 2 files now uncovered.

2289 of 2754 relevant lines covered (83.12%)

0.83 hits per line