search

homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

Simplify some List invocations #30

Closed fingolfin closed 2 years ago

codecov[bot] commented 2 years ago

Codecov Report

Merging #30 (3162646) into master (1d28d4a) will not change coverage. The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master      #30   +/-   ##
=======================================
  Coverage   89.88%   89.88%           
=======================================
  Files           5        5           
  Lines         900      900           
=======================================
  Hits          809      809           
  Misses         91       91
Impacted Files Coverage Δ
gap/polyhedra.gi 89.21% <100.00%> (ø)
gap/tools.gi 82.95% <100.00%> (ø)