Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

let more random methods use an alternative source #1168

Merged
merged 4 commits into from
Feb 24, 2017

Conversation

ChrisJefferson
Copy link
Contributor

This adds the ability to use alternative sources to a variety of objects.

In particular, all the objects I regularly use, so feel confident making some examples of to test the random method is working correctly.

@codecov
Copy link

codecov bot commented Feb 24, 2017

Codecov Report

Merging #1168 into master will increase coverage by <.01%.
The diff coverage is 100%.

@@            Coverage Diff             @@
##           master    #1168      +/-   ##
==========================================
+ Coverage   68.36%   68.36%   +<.01%     
==========================================
  Files         435      435              
  Lines      230662   230934     +272     
==========================================
+ Hits       157681   157884     +203     
- Misses      72981    73050      +69
Impacted Files Coverage Δ
lib/rational.gi 64.73% <100%> (ø)
lib/grpperm.gi 85.28% <100%> (ø)
lib/csetgrp.gi 58.46% <100%> (+0.61%)
src/gasman.c 79.48% <ø> (-4.38%)
lib/csetperm.gi 87.65% <ø> (-3.71%)
lib/grppcint.gi 98.64% <ø> (-0.68%)
lib/stbcrand.gi 90.66% <ø> (+0.19%)
lib/tietze.gi 76% <ø> (+0.73%)

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 448d67f...b692828. Read the comment docs.

@fingolfin fingolfin merged commit 413dc3e into gap-system:master Feb 24, 2017
@ChrisJefferson ChrisJefferson deleted the random-gen branch May 12, 2017 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants