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

[BUG] Some exceptions do not print well on jupyter notebooks #281

Closed iincer closed 1 year ago

iincer commented 1 year ago

Describe the bug Some of our exceptions, such as

except ValueError as e:
            raise ValueError(
                "The elimination of variables \n{}\n".format(vars_to_elim)

from polyhedra.py, do not print well, i.e., the list prints as empty elements: ['','','',...].