search

inpefess / gym-saturation

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

Add Python 3.10 Support #45

Closed inpefess closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Merging #45 (d38e157) into master (0e44149) will increase coverage by 0.53%. The diff coverage is 83.33%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #45      +/-   ##
==========================================
+ Coverage   98.53%   99.07%   +0.53%     
==========================================
  Files          19       19              
  Lines         751      754       +3     
==========================================
+ Hits          740      747       +7     
+ Misses         11        7       -4
Impacted Files Coverage Δ
gym_saturation/__init__.py 100.00% <ø> (ø)
gym_saturation/clause_space.py 100.00% <ø> (ø)
gym_saturation/envs/__init__.py 100.00% <ø> (ø)
gym_saturation/envs/saturation_env.py 98.82% <ø> (ø)
gym_saturation/grammar.py 100.00% <ø> (ø)
gym_saturation/logic_ops/__init__.py 100.00% <ø> (ø)
gym_saturation/logic_ops/factoring.py 100.00% <ø> (ø)
gym_saturation/logic_ops/paramodulation.py 100.00% <ø> (ø)
gym_saturation/logic_ops/reflexivity_resolution.py 100.00% <ø> (ø)
gym_saturation/logic_ops/resolution.py 100.00% <ø> (ø)
... and 10 more

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 0e44149...d38e157. Read the comment docs.