diff options
Diffstat (limited to 'tools/deep_memory_profiler/policies.json')
| -rw-r--r-- | tools/deep_memory_profiler/policies.json | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/deep_memory_profiler/policies.json b/tools/deep_memory_profiler/policies.json index 2d1b34e..5535056 100644 --- a/tools/deep_memory_profiler/policies.json +++ b/tools/deep_memory_profiler/policies.json @@ -1,11 +1,14 @@ { "l0": { - "file": "policy.l0.txt" + "file": "policy.l0.json", + "format": "json" }, "l1": { - "file": "policy.l1.txt" + "file": "policy.l1.json", + "format": "json" }, "l2": { - "file": "policy.l2.txt" + "file": "policy.l2.json", + "format": "json" } }
\ No newline at end of file |