search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Python extraction of HybridEnclosure from HybridEnclosureListSet segfaults #759

Open lgeretti opened 1 year ago

lgeretti commented 1 year ago

Extraction of some fields from HybridEnclosure obtained from an orbit list segfaults (like for printing or extraction of bounding box). The previous_events() method for example does not.