inpefess / gym-saturation

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

Update iprover #112

Closed inpefess closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (c345c5c) 100.00% compared to head (893413f) 100.00%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #112 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 19 20 +1 Lines 525 559 +34 ========================================= + Hits 525 559 +34 ``` | [Files Changed](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?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/vampire\_env.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?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/\_\_init\_\_.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?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% <100.00%> (ø)` | | | [gym\_saturation/agent\_testing.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?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% <100.00%> (ø)` | | | [gym\_saturation/conftest.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vY29uZnRlc3QucHk=) | `100.00% <100.00%> (ø)` | | | [gym\_saturation/dummy\_http\_handler.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZHVtbXlfaHR0cF9oYW5kbGVyLnB5) | `100.00% <100.00%> (ø)` | | | [gym\_saturation/envs/iprover\_env.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vZW52cy9pcHJvdmVyX2Vudi5weQ==) | `100.00% <100.00%> (ø)` | | | [gym\_saturation/utils.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?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%> (ø)` | | | [gym\_saturation/wrappers/age\_weight\_bandit.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vd3JhcHBlcnMvYWdlX3dlaWdodF9iYW5kaXQucHk=) | `100.00% <100.00%> (ø)` | | | [gym\_saturation/wrappers/ast2vec\_wrapper.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vd3JhcHBlcnMvYXN0MnZlY193cmFwcGVyLnB5) | `100.00% <100.00%> (ø)` | | | [gym\_saturation/wrappers/llmwrapper.py](https://app.codecov.io/gh/inpefess/gym-saturation/pull/112?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Boris+Shminke#diff-Z3ltX3NhdHVyYXRpb24vd3JhcHBlcnMvbGxtd3JhcHBlci5weQ==) | `100.00% <100.00%> (ø)` | |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.