Maintenance

[codecov-commenter]

Codecov Report

Base: 99.68% // Head: 99.69% // Increases project coverage by +0.00% :tada:

Coverage data is based on head (1c9b84d) compared to base (5b4e192). Patch has no changes to coverable lines.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #92 +/- ## ======================================= Coverage 99.68% 99.69% ======================================= Files 8 9 +1 Lines 319 324 +5 ======================================= + Hits 318 323 +5 Misses 1 1 ``` | [Impacted Files](https://codecov.io/gh/inpefess/gym-saturation/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke) | Coverage Δ | | |---|---|---| | [gym\_saturation/\_\_init\_\_.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vX19pbml0X18ucHk=) | `100.00% <ø> (ø)` | | | [gym\_saturation/clause\_space.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vY2xhdXNlX3NwYWNlLnB5) | `100.00% <ø> (ø)` | | | [gym\_saturation/envs/\_\_init\_\_.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9fX2luaXRfXy5weQ==) | `100.00% <ø> (ø)` | | | [gym\_saturation/envs/iprover\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9pcHJvdmVyX2Vudi5weQ==) | `98.92% <ø> (ø)` | | | [gym\_saturation/envs/saturation\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?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% <ø> (ø)` | | | [gym\_saturation/envs/vampire\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?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/relay\_server.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?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% <ø> (ø)` | | | [gym\_saturation/utils.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?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% <ø> (ø)` | | | [gym\_saturation/vampire\_wrapper.py](https://codecov.io/gh/inpefess/gym-saturation/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vdmFtcGlyZV93cmFwcGVyLnB5) | `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.