Skip to content

Conversation

@markuspf
Copy link
Member

Needed for #2702, though I am a bit reluctant to give this function more credibility by exporting it through a header file.

Also separate FuncREAD_ALL_COMMANDS (exported to GAP level) and READ_ALL_COMMANDS (kernel function) for conistency.

@codecov
Copy link

codecov bot commented Aug 15, 2018

Codecov Report

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

@@            Coverage Diff             @@
##           master    #2707      +/-   ##
==========================================
+ Coverage   75.52%   75.52%   +<.01%     
==========================================
  Files         478      478              
  Lines      241620   241621       +1     
==========================================
+ Hits       182488   182492       +4     
+ Misses      59132    59129       -3
Impacted Files Coverage Δ
src/streams.c 77.6% <100%> (+0.02%) ⬆️
src/iostream.c 62.35% <0%> (-1.15%) ⬇️
src/objset.c 84.59% <0%> (-0.23%) ⬇️
src/stats.c 89.62% <0%> (+0.19%) ⬆️
hpcgap/lib/hpc/stdtasks.g 64.96% <0%> (+1.53%) ⬆️

@fingolfin fingolfin added topic: kernel release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Aug 15, 2018
@fingolfin fingolfin merged commit 92be76e into gap-system:master Aug 16, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: kernel

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants