Closed michel2323 closed 3 years ago
Merging #122 (0e32898) into master (3314809) will increase coverage by
0.03%
. The diff coverage is100.00%
.
@@ Coverage Diff @@
## master #122 +/- ##
==========================================
+ Coverage 80.43% 80.46% +0.03%
==========================================
Files 12 12
Lines 557 558 +1
==========================================
+ Hits 448 449 +1
Misses 109 109
Impacted Files | Coverage Δ | |
---|---|---|
src/coloring/greedy_d1_coloring.jl | 100.00% <100.00%> (ø) |
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact)
,ø = not affected
,? = missing data
Powered by Codecov. Last update 3314809...0e32898. Read the comment docs.
Once under a blue moon the 1D coloring returns an invalid color at
result[2]
. This happens very very rarely. Below is an example we caught in the CI. Rerunning the test fixes the problem. I have no proof, but looking at the code it seems that in the first iteration of the outerfor
loop (i=2
),available
is uninitialized, which then could lead to a wrong entry beforeavailable
is filled at the end of the loop. In that case, this would be the fix.