Closed inpefess closed 2 years ago
Base: 100.00% // Head: 100.00% // No change to project coverage :thumbsup:
Coverage data is based on head (a899967) compared to base (61baf29). Patch coverage: 100.00% of modified lines in pull request are covered.
a899967
61baf29
:umbrella: View full report at Codecov. :loudspeaker: Do you have feedback about the report comment? Let us know in this issue.
Codecov Report
Base: 100.00% // Head: 100.00% // No change to project coverage :thumbsup:
Additional details and impacted files
```diff @@ Coverage Diff @@ ## master #83 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 15 15 Lines 622 622 ========================================= Hits 622 622 ``` | [Impacted Files](https://codecov.io/gh/inpefess/gym-saturation/pull/83?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke) | Coverage Δ | | |---|---|---| | [gym\_saturation/agent\_testing.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vYWdlbnRfdGVzdGluZy5weQ==) | `100.00% <ø> (ø)` | | | [gym\_saturation/logic\_ops/paramodulation.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vbG9naWNfb3BzL3BhcmFtb2R1bGF0aW9uLnB5) | `100.00% <ø> (ø)` | | | [gym\_saturation/logic\_ops/resolution.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vbG9naWNfb3BzL3Jlc29sdXRpb24ucHk=) | `100.00% <ø> (ø)` | | | [gym\_saturation/logic\_ops/unification.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vbG9naWNfb3BzL3VuaWZpY2F0aW9uLnB5) | `100.00% <ø> (ø)` | | | [gym\_saturation/logic\_ops/utils.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vbG9naWNfb3BzL3V0aWxzLnB5) | `100.00% <ø> (ø)` | | | [gym\_saturation/envs/saturation\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/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%> (ø)` | | | [gym\_saturation/envs/vampire\_env.py](https://codecov.io/gh/inpefess/gym-saturation/pull/83/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%> (ø)` | | 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.