Closed fingolfin closed 3 years ago
Merging #46 (937a4b0) into master (27d5ed4) will increase coverage by
0.20%
. The diff coverage is64.86%
.
@@ Coverage Diff @@
## master #46 +/- ##
==========================================
+ Coverage 29.72% 29.92% +0.20%
==========================================
Files 14 14
Lines 2836 2827 -9
==========================================
+ Hits 843 846 +3
+ Misses 1993 1981 -12
Impacted Files | Coverage Δ | |
---|---|---|
src/NautyTracesInterface.c | 63.97% <64.86%> (+6.03%) |
:arrow_up: |
This makes use of various GAP 4.11 helpers, so we increase the required GAP version accordingly.