-
Notifications
You must be signed in to change notification settings - Fork 7
Open
Description
When input signals are programmatically emitted, the signal remains present until a user manually resets it (to false).
Example
scchart Test {
input signal S
initial state A
do S go to B
state B
if S go to C
go to D
final state C
final state D
}
Expected Behavior
EITHER: An error occurs because input variables should not be programmatically set.
OR: The signal is active in the first tick (since it is emitted by the transition from A to B). After that, the transition from B to C should only occur if the user emits the signal again. Without any user input, the transition from B to D should be taken.
Metadata
Metadata
Assignees
Labels
No labels