gap-packages / guava

GAP package guava - computations relative to error-correcting codes
https://gap-packages.github.io/guava
Other
13 stars 7 forks source link

Fix various problems with manual examples #80

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Overall there are many more places where the output shown in the manual examples does not match reality.

Ideally, they would match, and then the manual examples would be run as part of the CI tests. That would serve two purposes: ensure that the manual examples are working, and that the recorded output matches reality.

Right now, many examples fail; but this patch reduces that at least a bit, and ensures that those test at least terminate. You can run the manual tests by entering gap makedoc.g tst/testall.g which first builds the manual which extracts the manual examples, and then runs the enlarged test suite.

Of the remaining failures, the main categories are:

codecov[bot] commented 2 years ago

Codecov Report

Merging #80 (d1fbef7) into master (e1eb3d0) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #80   +/-   ##
=======================================
  Coverage   49.37%   49.37%           
=======================================
  Files          44       44           
  Lines       14668    14668           
  Branches      203      203           
=======================================
  Hits         7242     7242           
  Misses       7426     7426