codecov[bot]
commented
11 months ago Codecov Report
All modified lines are covered by tests :white_check_mark:
Comparison is base (
c721e11) 71.82% compared to head (9c552f4) 71.82%. Report is 1 commits behind head on devel.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## devel #371 +/- ## ======================================= Coverage 71.82% 71.82% ======================================= Files 30 30 Lines 3642 3642 Branches 834 834 ======================================= Hits 2616 2616 Misses 735 735 Partials 291 291 ``` | [Files](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT) | Coverage Δ | | |---|---|---| | [include/mata/alphabet.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL2FscGhhYmV0Lmho) | `69.23% <ø> (ø)` | | | [include/mata/nfa/nfa.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL25mYS9uZmEuaGg=) | `100.00% <ø> (ø)` | | | [include/mata/nfa/plumbing.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL25mYS9wbHVtYmluZy5oaA==) | `94.44% <ø> (ø)` | | | [include/mata/nfa/strings.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL25mYS9zdHJpbmdzLmho) | `100.00% <ø> (ø)` | | | [include/mata/parser/inter-aut.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3BhcnNlci9pbnRlci1hdXQuaGg=) | `89.74% <ø> (ø)` | | | [include/mata/parser/mintermization.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3BhcnNlci9taW50ZXJtaXphdGlvbi5oaA==) | `25.00% <ø> (ø)` | | | [include/mata/parser/parser.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3BhcnNlci9wYXJzZXIuaGg=) | `100.00% <ø> (ø)` | | | [include/mata/utils/ord-vector.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3V0aWxzL29yZC12ZWN0b3IuaGg=) | `68.66% <ø> (ø)` | | | [include/mata/utils/sparse-set.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3V0aWxzL3NwYXJzZS1zZXQuaGg=) | `76.56% <ø> (ø)` | | | [include/mata/utils/synchronized-iterator.hh](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-aW5jbHVkZS9tYXRhL3V0aWxzL3N5bmNocm9uaXplZC1pdGVyYXRvci5oaA==) | `81.39% <ø> (ø)` | | | ... and [17 more](https://app.codecov.io/gh/VeriFIT/mata/pull/371?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT) | |:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
This PR changes licence of Mata to MIT, marking the release of Mata 1.0.0, the first full release of Mata, as used in tool paper for TACAS24.