Add consistency checks for evolver settings

ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

0 stars 0 forks source link

Add consistency checks for evolver settings #49

Open lgeretti opened 7 years ago

lgeretti commented 7 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Provide checks against the stored hybrid system, in order to avoid invalid settings. May also refactor/clean checks spread through the evolver implementation.

Bitbucket: https://bitbucket.org/ariadne-cps/release-1.0/issue/49