[KISEMA-1596] Promela export of some final state refers to an undeclared variable
fabianheyer opened this issue · 0 comments
fabianheyer commented
[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`
*/