search

VeriFIT / mata

A fast and simple automata library
MIT License
20 stars 13 forks source link

Inclusion jump mode #396

Closed koniksedy closed 7 months ago

koniksedy commented 7 months ago

This PR includes:

codecov[bot] commented 7 months ago

Codecov Report

Attention: Patch coverage is 75.00000% with 5 lines in your changes are missing coverage. Please review.

Project coverage is 74.43%. Comparing base (73ad4f6) to head (df5fe15). Report is 1 commits behind head on states_with_levels.

Files Patch % Lines
src/nft/nft.cc 55.55% 2 Missing and 2 partials :warning:
src/nft/inclusion.cc 88.88% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## states_with_levels #396 +/- ## ====================================================== - Coverage 74.66% 74.43% -0.24% ====================================================== Files 43 43 Lines 5487 5487 Branches 1215 1215 ====================================================== - Hits 4097 4084 -13 - Misses 947 958 +11 - Partials 443 445 +2 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.