martinlackner / abcvoting

Python implementations of approval-based committee (multi-winner) voting rules
https://abcvoting.readthedocs.io/
MIT License
32 stars 16 forks source link

Improvements to properties #63

Closed DominikPeters closed 1 year ago

DominikPeters commented 1 year ago

Fix some typos. Simplify two ILPs (avoiding unnecessary ">>" notation). Provide detailed information for core failures.

codecov-commenter commented 1 year ago

Codecov Report

Merging #63 (41b0f75) into master (ea152fb) will decrease coverage by 0.03%. The diff coverage is 100.00%.

:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #63      +/-   ##
==========================================
- Coverage   91.19%   91.16%   -0.03%     
==========================================
  Files          11       11              
  Lines        3134     3135       +1     
  Branches      989      985       -4     
==========================================
  Hits         2858     2858              
  Misses        162      162              
- Partials      114      115       +1     
Impacted Files Coverage Δ
abcvoting/properties.py 94.89% <100.00%> (+0.08%) :arrow_up:

... and 5 files with indirect coverage changes


Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update ea152fb...41b0f75. Read the comment docs.