search

VeriFIT / mata

A fast and simple automata library
MIT License
14 stars 11 forks source link

Apply NFA to NFT #403

Closed Adda0 closed 3 months ago

Adda0 commented 3 months ago

This PR implements application of NFA on NFT, performing Id(NFA) || NFT. Also implements casts from NFT to NFA, both move and copy ones, with option to unroll the NFT.

codecov[bot] commented 3 months ago

Codecov Report

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

Project coverage is 74.20%. Comparing base (85d9cc8) to head (37b25c7). Report is 136 commits behind head on states_with_levels.

Files Patch % Lines
src/nft/nft.cc 0.00% 5 Missing :warning:
include/mata/nft/nft.hh 50.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## states_with_levels #403 +/- ## ====================================================== - Coverage 74.31% 74.20% -0.11% ====================================================== Files 43 43 Lines 5474 5486 +12 Branches 1213 1214 +1 ====================================================== + Hits 4068 4071 +3 - Misses 964 973 +9 Partials 442 442 ```

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