search

kalmarek / KnuthBendix.jl

Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
MIT License
8 stars 2 forks source link

Enh/kbmag parsing #47

Closed kalmarek closed 3 years ago

kalmarek commented 3 years ago

one test is set to broken due to #46

codecov-commenter commented 3 years ago

Codecov Report

Merging #47 (abcd1da) into master (cff5504) will increase coverage by 2.30%. The diff coverage is 93.87%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #47      +/-   ##
==========================================
+ Coverage   90.53%   92.84%   +2.30%     
==========================================
  Files          10       12       +2     
  Lines         560      894     +334     
==========================================
+ Hits          507      830     +323     
- Misses         53       64      +11
Flag Coverage Δ
unittests 92.84% <93.87%> (+2.30%) :arrow_up:

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/words.jl 100.00% <ø> (ø)
src/alphabets.jl 81.15% <88.00%> (+4.96%) :arrow_up:
src/kbs.jl 88.11% <88.11%> (ø)
src/helper_structures.jl 88.46% <88.46%> (ø)
src/orderings.jl 88.09% <88.57%> (+6.27%) :arrow_up:
src/automata.jl 86.25% <89.71%> (+3.15%) :arrow_up:
src/rewriting.jl 95.65% <96.73%> (+8.98%) :arrow_up:
src/parsing.jl 98.03% <98.03%> (ø)
src/abstract_words.jl 95.55% <100.00%> (+2.22%) :arrow_up:
src/bufferwords.jl 100.00% <100.00%> (+1.04%) :arrow_up:
... and 8 more

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 15544b3...abcd1da. Read the comment docs.