search

VeriFIT / mata

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

Allow moving Delta #402

Closed Adda0 closed 6 months ago

Adda0 commented 6 months ago

This PR allows for move operations on Delta in move constructor and move assignment for Delta.

codecov[bot] commented 6 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 72.15%. Comparing base (cf17ab6) to head (01b560e). Report is 1 commits behind head on devel.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## devel #402 +/- ## ========================================== + Coverage 72.14% 72.15% +0.01% ========================================== Files 30 30 Lines 3712 3714 +2 Branches 847 847 ========================================== + Hits 2678 2680 +2 Misses 738 738 Partials 296 296 ```

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