Closed fingolfin closed 2 years ago
Merging #80 (2ad78fd) into main (423a270) will decrease coverage by
0.54%
. The diff coverage is74.14%
.
@@ Coverage Diff @@
## main #80 +/- ##
==========================================
- Coverage 92.17% 91.63% -0.55%
==========================================
Files 14 14
Lines 2275 2415 +140
==========================================
+ Hits 2097 2213 +116
- Misses 178 202 +24
Impacted Files | Coverage Δ | |
---|---|---|
gap/ClassicalMaximals.gi | 86.36% <7.31%> (-3.60%) |
:arrow_down: |
gap/ImprimitiveMatrixGroups.gi | 97.04% <100.00%> (+1.84%) |
:arrow_up: |
gap/TensorProductMatrixGroups.gi | 96.29% <100.00%> (+2.26%) |
:arrow_up: |
This actually "fixes" the tests, but simply because the RNG states are now fixed per .tst file.
This resets the RNG state and thus makes test results easier to reproduce