Skip to content

Partial CIF models may have many 'event is not in the alphabet of the specification' warnings

In the current nightly version of ESCET a warning appears at every line which restricts an event:

"Event event is not in the synchronization, send or receive alphabet of the specification, and thus will never occur; restricting it has no effect."

Our events are modelled using groups:

image.png

Later, this group is merged with an automata with the same name. After that, the event is "in the alphabet of the specifcation."

For every requirement n our script, a warning occurs, resulting in this:

image.png

In itself not too big of a problem, but we have noted performances issues and even crashes loading in our models due to this.

If there is an option to turn off these types of warning it would also help.