search

jump-dev / SumOfSquares.jl

Sum of Squares Programming for Julia
Other
115 stars 24 forks source link

Fix with_variables for TypedPolynomials #241

Closed blegat closed 2 years ago

codecov[bot] commented 2 years ago

Codecov Report

Merging #241 (9a39810) into master (37edbcb) will increase coverage by 0.13%. The diff coverage is 88.23%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #241      +/-   ##
==========================================
+ Coverage   76.70%   76.84%   +0.13%     
==========================================
  Files          36       36              
  Lines        1696     1706      +10     
==========================================
+ Hits         1301     1311      +10     
  Misses        395      395
Impacted Files Coverage Δ
src/Certificate/Certificate.jl 97.43% <88.23%> (+0.37%) :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 37edbcb...9a39810. Read the comment docs.