search

inpefess / gym-saturation

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

Catch up with parser #78

Closed inpefess closed 2 years ago

codecov-commenter commented 2 years ago

Codecov Report

Merging #78 (58996b3) into master (e9f5ca0) will not change coverage. The diff coverage is 100.00%.

@@            Coverage Diff            @@
##            master       #78   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           15        15           
  Lines          609       625   +16     
=========================================
+ Hits           609       625   +16
Impacted Files Coverage Δ
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% <ø> (ø)
gym_saturation/vampire_wrapper.py 100.00% <ø> (ø)
gym_saturation/agent_testing.py 100.00% <100.00%> (ø)
gym_saturation/clause_space.py 100.00% <100.00%> (ø)
gym_saturation/envs/saturation_env.py 100.00% <100.00%> (ø)
gym_saturation/envs/vampire_env.py 100.00% <100.00%> (ø)
gym_saturation/logic_ops/substitution.py 100.00% <100.00%> (ø)
... and 2 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 e9f5ca0...58996b3. Read the comment docs.