Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This check does not make sense for our cosimulation environment (the spike debug module is not in use) and leads to false failures when randomly generated programs want to access the spike debug memory address range.
- Loading branch information