search

gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Update realrandom.gi #101

Closed ThomasBreuer closed 3 years ago

ThomasBreuer commented 3 years ago

Change Random( RandomSource( IsRealRandomSource, "random" ), 1, 1 ) from fail to 1.

codecov[bot] commented 3 years ago

Codecov Report

Merging #101 (f9f11ec) into master (ef945d4) will decrease coverage by 0.01%. The diff coverage is 0.00%.

:exclamation: Current head f9f11ec differs from pull request most recent head 13532c4. Consider uploading reports for the commit 13532c4 to get more accurate results

@@            Coverage Diff             @@
##           master     #101      +/-   ##
==========================================
- Coverage   61.57%   61.56%   -0.02%     
==========================================
  Files          15       15              
  Lines        4945     4946       +1     
==========================================
  Hits         3045     3045              
- Misses       1900     1901       +1
Impacted Files Coverage Δ
gap/realrandom.gi 40.62% <0.00%> (-0.65%) :arrow_down: