kieler/semantics

[KISEMA-1596] Promela export of some final state refers to an undeclared variable

fabianheyer opened this issue · 0 comments

[Issue KISEMA-1596 migrated from JIRA, first reported on 2020-08-05]

Promela export fails the spin syntax check for assigning to the undeclared variable _TERM. An MWE is attached..

I've seen it in a few places but nowhere was this variable used on a right-hand side.

scchart A {
  initial state A
  go to B
  final state B
}

/* Promela export bug:
   tick logic contains a reference to undeclared variable `_TERM`
*/