search

inpefess / gym-saturation

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

Bug fix #60

Closed inpefess closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Merging #60 (df26390) into master (be75c81) will increase coverage by 0.38%. The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master      #60      +/-   ##
==========================================
+ Coverage   98.98%   99.37%   +0.38%     
==========================================
  Files          19       19              
  Lines         792      794       +2     
==========================================
+ Hits          784      789       +5     
+ Misses          8        5       -3
Impacted Files Coverage Δ
gym_saturation/vampire_wrapper.py 100.00% <ø> (+3.44%) :arrow_up:
gym_saturation/__init__.py 100.00% <100.00%> (ø)
gym_saturation/agent_testing.py 99.06% <100.00%> (+1.04%) :arrow_up:
gym_saturation/envs/saturation_env.py 100.00% <100.00%> (ø)
gym_saturation/envs/vampire_env.py 97.77% <100.00%> (+2.03%) :arrow_up:

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 be75c81...df26390. Read the comment docs.