Internal Error instead of properly reported well-definedness error

Description

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.

Environment

None

Attachments

2

Gliffy Diagrams

Activity

Show:

Details

Assignee

Reporter

Priority

Created February 2, 2016 at 9:12 AM
Updated February 2, 2016 at 9:12 AM