search

inpefess / gym-saturation

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

Better testing #63

Closed inpefess closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Merging #63 (fd9530f) into master (6158e31) will increase coverage by 0.25%. The diff coverage is 75.00%.

@@            Coverage Diff             @@
##           master      #63      +/-   ##
==========================================
+ Coverage   99.49%   99.74%   +0.25%     
==========================================
  Files          19       19              
  Lines         785      785              
==========================================
+ Hits          781      783       +2     
+ Misses          4        2       -2
Impacted Files Coverage Δ
gym_saturation/agent_testing.py 100.00% <ø> (+0.93%) :arrow_up:
gym_saturation/vampire_wrapper.py 100.00% <ø> (+3.22%) :arrow_up:
gym_saturation/envs/vampire_env.py 97.87% <66.66%> (+0.04%) :arrow_up:
gym_saturation/__init__.py 100.00% <100.00%> (ø)

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 6158e31...fd9530f. Read the comment docs.