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

Improve test coverage #280

Closed iincer closed 1 year ago

iincer commented 1 year ago

Our test coverage is run with two commands in a sequence: make test and make coverage. This is our coverage report:

Name                                               Stmts   Miss Branch BrPart   Cover
-------------------------------------------------------------------------------------
src\pacti\iocontract\__init__.py                       2      0      0      0 100.00%
src\pacti\iocontract\compundiocontract.py            108     84     62      0  15.29%
src\pacti\iocontract\iocontract.py                   274     70    124     18  70.85%
src\pacti\terms\__init__.py                            0      0      0      0 100.00%
src\pacti\terms\polyhedra\__init__.py                  4      0      0      0 100.00%
src\pacti\terms\polyhedra\plots.py                   132    111     42      1  12.64%
src\pacti\terms\polyhedra\polyhedra.py               620    108    287     30  80.60%
src\pacti\terms\polyhedra\polyhedral_contract.py      87     43     74      4  48.45%
src\pacti\terms\polyhedra\serializer.py              203     31    116     19  80.56%
src\pacti\utils\__init__.py                            1      0      0      0 100.00%
src\pacti\utils\errors.py                              3      0      0      0 100.00%
src\pacti\utils\fileio.py                             49     28     26      3  40.00%
src\pacti\utils\lists.py                               9      1      6      0  93.33%
src\pacti\utils\multiple_composition.py               67      8     36      2  86.41%
tests\test_examples.py                                15      0      0      0 100.00%
tests\test_iocontract.py                              17      0      4      0 100.00%
tests\test_multiple_composition.py                    21      7      8      4  62.07%
tests\test_polyhedral_contract.py                    112     35     28      1  71.43%
tests\test_polyhedral_contract_syntax.py              91      0      0      0 100.00%
tests\test_polyhedral_terms.py                        82      1      6      1  97.73%
tests\test_py_loaders.py                              24      0     10      0 100.00%
-------------------------------------------------------------------------------------
TOTAL                                               1921    527    829     83  69.24%

The best format to see it is pacti/htmlcov/index.html.

Could you please write tests for fileio.py and plots.py?