VeriFIT / mata

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

Dot format ascii #392

Closed koniksedy closed 7 months ago

koniksedy commented 7 months ago

This PR includes:

I believe these modifications will make DOT graphs easier to understand.

codecov[bot] commented 7 months ago

Codecov Report

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

Project coverage is 73.32%. Comparing base (be76747) to head (485b91e). Report is 1 commits behind head on states_with_levels.

Files Patch % Lines
src/nft/nft.cc 0.00% 16 Missing :warning:
src/nfa/nfa.cc 0.00% 10 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## states_with_levels #392 +/- ## ====================================================== - Coverage 73.63% 73.32% -0.31% ====================================================== Files 43 43 Lines 5150 5170 +20 Branches 1166 1173 +7 ====================================================== - Hits 3792 3791 -1 - Misses 921 942 +21 Partials 437 437 ```

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