search

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
360 stars 47 forks source link

Fix calculational logic test/benchmark #205

Closed nmheim closed 5 months ago

codecov-commenter commented 5 months ago

Codecov Report

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

Project coverage is 74.69%. Comparing base (89dab23) to head (780391c).

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## ale/3.0 #205 +/- ## =========================================== - Coverage 74.76% 74.69% -0.07% =========================================== Files 20 20 Lines 1581 1581 =========================================== - Hits 1182 1181 -1 - Misses 399 400 +1 ```

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