diff options
Diffstat (limited to 'tools/run_tests/generated/configs.json')
| -rw-r--r-- | tools/run_tests/generated/configs.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/run_tests/generated/configs.json b/tools/run_tests/generated/configs.json index 091f5d9823..9173bd7c19 100644 --- a/tools/run_tests/generated/configs.json +++ b/tools/run_tests/generated/configs.json @@ -66,5 +66,8 @@ }, { "config": "mutrace" + }, + { + "config": "counters" } ] |