Fri Oct 26 15:33:49 CEST 2018
The only thing needed here is feedback. What about providing a stub
that is called inside the main loop?
It can just be an ST operation.
EDIT: I have a first step: an interface that will take other kinds of
test bench data apart from just a list of inputs. Now to actually
Next: make a test that actually uses a state machine, or better still,
that also implements an input list as a state machine. This needs an
ST variable to store the current list.