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

Segmentation fault in VectorFieldSimulator #741

Closed pietercollins closed 1 year ago

pietercollins commented 1 year ago

VectorFieldSimulator yields a segmentation_fault after completing a long simulation run.

pietercollins commented 1 year ago

The problem is due to the use of Real as the current time. Since this has a symbolic representation, successively incrementing yields a deeper and deeper dependency tree, which causes a stack overload on deallocation. Fixed by changing to FloatDPApproximation.