Closed Wikunia closed 4 years ago
Merging #52 into master will increase coverage by
0.28%
. The diff coverage is100%
.
@@ Coverage Diff @@
## master #52 +/- ##
==========================================
+ Coverage 98.33% 98.61% +0.28%
==========================================
Files 11 12 +1
Lines 1080 1084 +4
==========================================
+ Hits 1062 1069 +7
+ Misses 18 15 -3
Impacted Files | Coverage Δ | |
---|---|---|
src/eq_sum.jl | 100% <100%> (+1.57%) |
:arrow_up: |
src/all_different.jl | 98.34% <100%> (+0.01%) |
:arrow_up: |
src/equal.jl | 100% <100%> (ø) |
:arrow_up: |
src/ConstraintSolver.jl | 97.84% <100%> (-0.02%) |
:arrow_down: |
src/hashes.jl | 100% <100%> (ø) |
|
src/not_equal.jl | 96.55% <0%> (-3.45%) |
:arrow_down: |
src/Variable.jl | 100% <0%> (+2.46%) |
:arrow_up: |
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 58eedc2...f40d881. Read the comment docs.
Currently the order constraints get added are relevant. This constraints changes that as it is unexpected behavior. Additionally there are some added parameters for
prune!
:all
=> use all constraints for the first runonly_once
=> don't continue pruning after first runinitial_check
=> checks if feasible even if all values are set