Display type errorr for model checking
When a type error occurs in model-checking, just an unknown error message is displayed.
Example: Controller component in Simple Traffic Lights with
Specification Patterns
ctrlOutTrafficSignal Green(): no errors
ctrlOutTrafficSignal 0: should give a type error because
ctrlOutTrafficSignal is not of type int. Instead, message about an
“unknown error” is displayed and the console shows the NuSMV output with
type error message.
(from redmine: issue id 826, created on 2012-05-23, closed on 2012-07-09)
- Relations:
- child #830 (closed)
- parent #849 (closed)