search

VeriFIT / mata

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

Improve visualization example #372

Closed Adda0 closed 7 months ago

Adda0 commented 8 months ago

This PR improves the example of visualization used in Mata tool paper to provide a self-sufficient example using basic automata operations.

codecov[bot] commented 8 months ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Comparison is base (9c552f4) 71.82% compared to head (d689a96) 71.82%. Report is 1 commits behind head on devel.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## devel #372 +/- ## ======================================= Coverage 71.82% 71.82% ======================================= Files 30 30 Lines 3642 3642 Branches 834 834 ======================================= Hits 2616 2616 Misses 735 735 Partials 291 291 ```

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