gap-packages / grape

GRaph Algorithms using PErmutation groups

https://gap-packages.github.io/grape/

5 stars 7 forks source link

Simplify GRAPE_Exec #15

Closed fingolfin closed 5 years ago

fingolfin commented 5 years ago

by removing the unused (and buggy!) code to allow passing in filename instead of file streams.

codecov[bot] commented 5 years ago

Codecov Report

Merging #15 into master will increase coverage by 0.03%. The diff coverage is 60%.

@@            Coverage Diff             @@
##           master      #15      +/-   ##
==========================================
+ Coverage   59.99%   60.03%   +0.03%     
==========================================
  Files           9        9              
  Lines        6532     6518      -14     
==========================================
- Hits         3919     3913       -6     
+ Misses       2613     2605       -8

Impacted Files	Coverage Δ
lib/grape.g	`77.14% <60%> (+0.12%)`	:arrow_up:

lhsoicher commented 5 years ago

Looks good. PR merged.