search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

Iincer/issue321 #327

Closed iincer closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #327 (6c6879d) into main (f7da372) will increase coverage by 0.14%. Report is 1 commits behind head on main. The diff coverage is 72.72%.

:exclamation: Current head 6c6879d differs from pull request most recent head 0fa225b. Consider uploading reports for the commit 0fa225b to get more accurate results

@@            Coverage Diff             @@
##             main     #327      +/-   ##
==========================================
+ Coverage   70.30%   70.44%   +0.14%     
==========================================
  Files          15       15              
  Lines        1943     1939       -4     
  Branches      456      410      -46     
==========================================
  Hits         1366     1366              
+ Misses        472      468       -4     
  Partials      105      105
Files Changed Coverage Δ
src/pacti/terms/polyhedra/serializer.py 68.12% <0.00%> (ø)
src/pacti/terms/polyhedra/syntax/data.py 92.63% <50.00%> (+2.21%) :arrow_up:
src/pacti/terms/polyhedra/syntax/grammar.py 87.25% <100.00%> (ø)

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more