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

Reorg imports #328

Closed iincer closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #328 (42c48a3) into main (d066766) will increase coverage by 0.03%. The diff coverage is 62.06%.

@@            Coverage Diff             @@
##             main     #328      +/-   ##
==========================================
+ Coverage   70.44%   70.47%   +0.03%     
==========================================
  Files          15       16       +1     
  Lines        1939     1941       +2     
  Branches      454      410      -44     
==========================================
+ Hits         1366     1368       +2     
  Misses        468      468              
  Partials      105      105
Files Changed Coverage Δ
src/pacti/terms/polyhedra/__init__.py 100.00% <ø> (ø)
src/pacti/contracts/plots.py 15.15% <25.00%> (ø)
src/pacti/utils/fileio.py 43.13% <38.46%> (+2.32%) :arrow_up:
src/pacti/contracts/__init__.py 100.00% <100.00%> (ø)
src/pacti/contracts/polyhedral_iocontract.py 57.47% <100.00%> (ø)

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