Open mkoeppe opened 8 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
53a9cf2
) 92.23% compared to head (e569ba1
) 92.23%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Tests fail with FLINT 3.
Checklist
doc/news/
.