inpefess / gym-saturation

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

Add goals #89

Closed inpefess closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Base: 68.62% // Head: 78.10% // Increases project coverage by +9.47% :tada:

Coverage data is based on head (44947bc) compared to base (13b3de8). Patch coverage: 46.98% of modified lines in pull request are covered.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #89 +/- ## ========================================== + Coverage 68.62% 78.10% +9.47% ========================================== Files 9 8 -1 Lines 306 306 ========================================== + Hits 210 239 +29 + Misses 96 67 -29 ``` | [Impacted Files](https://codecov.io/gh/inpefess/gym-saturation/pull/89?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/89/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9pcHJvdmVyX2Vudi5weQ==) | `26.37% <13.72%> (-4.01%)` | :arrow_down: | | [gym\_saturation/envs/saturation\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/89/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9zYXR1cmF0aW9uX2Vudi5weQ==) | `100.00% <100.00%> (+4.00%)` | :arrow_up: | | [gym\_saturation/envs/vampire\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/89/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% <100.00%> (+38.63%)` | :arrow_up: | | [gym\_saturation/relay\_server.py](https://codecov.io/gh/inpefess/gym-saturation/pull/89/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vcmVsYXlfc2VydmVyLnB5) | `100.00% <100.00%> (+80.76%)` | :arrow_up: | | [gym\_saturation/utils.py](https://codecov.io/gh/inpefess/gym-saturation/pull/89/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vdXRpbHMucHk=) | `100.00% <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.