Internal Error instead of properly reported well-definedness error
Description
Environment
None
Attachments
2
Gliffy Diagrams
Activity
Show:
Details
Details
Assignee

Reporter

Priority
Created February 2, 2016 at 9:12 AM
Updated February 2, 2016 at 9:12 AM
For the attached model, an internal error from prolog is reported after a few animation steps. The error is due to a function application outside of its domain.
In the Tcl/Tk version, a well-definedness error is reported so i guess the problem lies within the error reporting of the Rodin Plugin.