Skip to content

Fix IsFlagTransitiveGeometry for rank >= 4 - #59

Open
fingolfin wants to merge 2 commits into
masterfrom
mh/fix-flag-transitivity
Open

fingolfin wants to merge 2 commits into
masterfrom
mh/fix-flag-transitivity

Don't assume point 1 of the coset action is the trivial coset

93fc1a5
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 14, 2026 in 1s

53.75% (+0.20%) compared to b5c0d01

View this Pull Request on Codecov

53.75% (+0.20%) compared to b5c0d01

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 53.75%. Comparing base (b5c0d01) to head (93fc1a5).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #59      +/-   ##
==========================================
+ Coverage   53.55%   53.75%   +0.20%     
==========================================
  Files          34       34              
  Lines       17059    17066       +7     
==========================================
+ Hits         9136     9174      +38     
+ Misses       7923     7892      -31     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.