intel / rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
https://intel.github.io/rohd-website
BSD 3-Clause "New" or "Revised" License
370 stars 65 forks source link

Fix defaultNextState diagram generation in FSM #454

Closed mkorbel1 closed 8 months ago

mkorbel1 commented 8 months ago

Description & Motivation

The defaultNextState was added to FiniteStateMachine but did not show up properly in the mermaid diagrams that were generated. This PR fixes that.

Also, there was insufficient testing around defaultNextState, so this adds testing for it.

Related Issue(s)

N/A

Testing

Added a new test

Backwards-compatibility

Is this a breaking change that will not be backwards-compatible? If yes, how so?

No

Documentation

Does the change require any updates to documentation? If so, where? Are they included?

No