-
Notifications
You must be signed in to change notification settings - Fork 17
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Dot format ascii #392
Dot format ascii #392
Conversation
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ 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 ☔ View full report in Codecov by Sentry. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should be all good. I will merge the PR so we can continue.
This PR includes:
Nft::print_to_DOT()
, enabling it to translateEPSILON
to<eps>
andDONT_CARE
to<dcare>
.Nfa::print_to_DOT()
and `Nft::print_to_DOT(), allowing them to translate transition printable symbols (< 33) into ASCII.I believe these modifications will make DOT graphs easier to understand.