inpefess / gym-saturation

a collection of Gymnasium environments for saturation provers
Apache License 2.0
19 stars 2 forks source link

Better readme #90

Closed inpefess closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Base: 78.10% // Head: 99.67% // Increases project coverage by +21.56% :tada:

Coverage data is based on head (7157c12) compared to base (521f869). Patch has no changes to coverable lines.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #90 +/- ## =========================================== + Coverage 78.10% 99.67% +21.56% =========================================== Files 8 8 Lines 306 306 =========================================== + Hits 239 305 +66 + Misses 67 1 -66 ``` | [Impacted Files](https://codecov.io/gh/inpefess/gym-saturation/pull/90?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke) | Coverage Δ | | |---|---|---| | [gym\_saturation/envs/iprover\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/90/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9pcHJvdmVyX2Vudi5weQ==) | `98.90% <ø> (+72.52%)` | :arrow_up: | | [gym\_saturation/envs/vampire\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/90/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy92YW1waXJlX2Vudi5weQ==) | `100.00% <ø> (ø)` | | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.