Add a list of excluded tests, with reasons, to run-debug-tests.sh |
||
|---|---|---|
| .. | ||
| formal | ||
| sim | ||
| .gitignore | ||
| project_paths.mk | ||
Add a list of excluded tests, with reasons, to run-debug-tests.sh |
||
|---|---|---|
| .. | ||
| formal | ||
| sim | ||
| .gitignore | ||
| project_paths.mk | ||