search

inpefess / gym-saturation

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

Vampair #115

Closed inpefess closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Files Coverage Δ
gym_saturation/__init__.py 100.00% <100.00%> (ø)
gym_saturation/constants.py 100.00% <100.00%> (ø)
gym_saturation/envs/__init__.py 100.00% <100.00%> (ø)
gym_saturation/envs/iprover_env.py 100.00% <100.00%> (ø)
gym_saturation/envs/saturation_env.py 100.00% <100.00%> (ø)
gym_saturation/envs/vampair_env.py 100.00% <100.00%> (ø)
gym_saturation/envs/vampire_env.py 100.00% <100.00%> (ø)
gym_saturation/vampire_wrapper.py 100.00% <100.00%> (ø)
gym_saturation/wrappers/__init__.py 100.00% <100.00%> (ø)
gym_saturation/wrappers/ast2vec_wrapper.py 100.00% <100.00%> (ø)
... and 4 more

:loudspeaker: Thoughts on this report? Let us know!.