:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more
Additional details and impacted files
```diff
@@ Coverage Diff @@
## master #97 +/- ##
==========================================
- Coverage 99.59% 99.58% -0.01%
==========================================
Files 15 15
Lines 488 487 -1
==========================================
- Hits 486 485 -1
Misses 2 2
```
| [Impacted Files](https://codecov.io/gh/inpefess/gym-saturation/pull/97?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/97?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9pcHJvdmVyX2Vudi5weQ==) | `98.83% <ø> (ø)` | |
| [gym\_saturation/envs/vampire\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/97?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% <ø> (ø)` | |
| [gym\_saturation/envs/saturation\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/97?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9zYXR1cmF0aW9uX2Vudi5weQ==) | `98.52% <100.00%> (-0.03%)` | :arrow_down: |
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)
Codecov Report
Patch coverage:
100.00% and project coverage change:-0.01:warning::mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more
Additional details and impacted files
```diff @@ Coverage Diff @@ ## master #97 +/- ## ========================================== - Coverage 99.59% 99.58% -0.01% ========================================== Files 15 15 Lines 488 487 -1 ========================================== - Hits 486 485 -1 Misses 2 2 ``` | [Impacted Files](https://codecov.io/gh/inpefess/gym-saturation/pull/97?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/97?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9pcHJvdmVyX2Vudi5weQ==) | `98.83% <ø> (ø)` | | | [gym\_saturation/envs/vampire\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/97?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% <ø> (ø)` | | | [gym\_saturation/envs/saturation\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/97?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9zYXR1cmF0aW9uX2Vudi5weQ==) | `98.52% <100.00%> (-0.03%)` | :arrow_down: | 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.