search

VeriFIT / mata

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

Revert "Rewrite opening files to fix compilation errors" #345

Closed Adda0 closed 1 year ago

Adda0 commented 1 year ago

This PR reverts commit 7f18ccaf96a1885f1a84e67efe0ca05f128c3586, which for some unknown reason causes server with experiments to fail to compile.

codecov[bot] commented 1 year ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Comparison is base (3380500) 72.94% compared to head (069554c) 72.94%. Report is 3 commits behind head on devel.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## devel #345 +/- ## ======================================= Coverage 72.94% 72.94% ======================================= Files 33 33 Lines 4144 4144 Branches 955 955 ======================================= Hits 3023 3023 Misses 740 740 Partials 381 381 ```

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