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

Fixes for Groups.jl next release #62

Closed kalmarek closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Base: 95.93% // Head: 95.94% // Increases project coverage by +0.01% :tada:

Coverage data is based on head (3674223) compared to base (f57b23c). Patch coverage: 100.00% of modified lines in pull request are covered.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #62 +/- ## ========================================== + Coverage 95.93% 95.94% +0.01% ========================================== Files 24 24 Lines 1451 1455 +4 ========================================== + Hits 1392 1396 +4 Misses 59 59 ``` | Flag | Coverage Δ | | |---|---|---| | unittests | `95.94% <100.00%> (+0.01%)` | :arrow_up: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Marek+Kaluba#carryforward-flags-in-the-pull-request-comment) to find out more. | [Impacted Files](https://codecov.io/gh/kalmarek/KnuthBendix.jl/pull/62?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Marek+Kaluba) | Coverage Δ | | |---|---|---| | [src/Automata/index\_automaton.jl](https://codecov.io/gh/kalmarek/KnuthBendix.jl/pull/62/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Marek+Kaluba#diff-c3JjL0F1dG9tYXRhL2luZGV4X2F1dG9tYXRvbi5qbA==) | `100.00% <100.00%> (ø)` | | | [src/alphabets.jl](https://codecov.io/gh/kalmarek/KnuthBendix.jl/pull/62/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Marek+Kaluba#diff-c3JjL2FscGhhYmV0cy5qbA==) | `95.04% <100.00%> (-0.15%)` | :arrow_down: | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Marek+Kaluba). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Marek+Kaluba)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.