search

nasa / fpp

F Prime Prime: A modeling language for F Prime
https://fprime.jpl.nasa.gov
Apache License 2.0
49 stars 31 forks source link

Update the state machine spec from the reviews #452

Closed garthwatney closed 3 months ago

garthwatney commented 3 months ago

Per our discussion, these are the changes made to the state machine specification: 1) state machine 'events' are renamed to 'signals' 2) state machine 'visit' are renamed to 'enter' 3) In transitions, the enter is specified after any do action