search

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

Unit domain mismatch in laser example #27

Closed lgeretti closed 8 years ago

lgeretti commented 8 years ago

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

An error

TaylorSet: Assertion `this->_models[i].domain()==unit_domain' failed.´

is raised for a particular period of the laser example. See f07eef5.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Fixed issue #27

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Fixed issue #27

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Creating a new TaylorModel requires dimensioning it to the argument_size instead of the size