[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Instantiated module and "Successor state is not completely specified"

When "Successor state is not completely specified by the next-state action" error is reported in instantiated module, clicking on the offending action in Error-Trace moves the cursor to the line where the module is instantiated instead of the offending action definition within the instantiated module.  Would it be possible to improve this in the next release?

Thank you,