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

New tactic #326

Closed iincer closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #326 (0114423) into main (b1641c2) will decrease coverage by 1.09%. Report is 2 commits behind head on main. The diff coverage is 41.07%.

@@            Coverage Diff             @@
##             main     #326      +/-   ##
==========================================
- Coverage   71.39%   70.30%   -1.09%     
==========================================
  Files          15       15              
  Lines        1905     1943      +38     
  Branches      443      412      -31     
==========================================
+ Hits         1360     1366       +6     
- Misses        441      472      +31     
- Partials      104      105       +1
Files Changed Coverage Δ
src/pacti/utils/errors.py 54.54% <0.00%> (ø)
src/pacti/terms/polyhedra/polyhedra.py 77.87% <27.27%> (-3.74%) :arrow_down:
src/pacti/__version__.py 100.00% <100.00%> (ø)
src/pacti/terms/polyhedra/serializer.py 68.12% <100.00%> (-0.20%) :arrow_down:
src/pacti/terms/polyhedra/syntax/data.py 90.41% <100.00%> (ø)
src/pacti/terms/polyhedra/syntax/grammar.py 87.25% <100.00%> (-0.06%) :arrow_down:

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