TODO

The run-test flow has a separate command for running Spike; that path should invoke it from the Spike Makefile as well.