diff options
author | Mike Aizatsky <mike.aizatsky@gmail.com> | 2016-12-13 11:33:08 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-13 11:33:08 -0800 |
commit | 37ffa0724653a0e38aed51a17162ede288f88683 (patch) | |
tree | fedacf6ace686441b78cd5031f0baf4623697817 /projects | |
parent | 7747c34d2dd3538a44822ed6d385a54e49571c4f (diff) |
[infra] enabling trace-pc-guard for the guinea pig target #84
Diffstat (limited to 'projects')
-rw-r--r-- | projects/json/project.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/json/project.yaml b/projects/json/project.yaml index 037e190f..e500c5b0 100644 --- a/projects/json/project.yaml +++ b/projects/json/project.yaml @@ -1,5 +1,6 @@ homepage: "https://github.com/nlohmann/json" primary_contact: "niels.lohmann@gmail.com" +coverage_flags: "-fsanitize-coverage=trace-pc-guard" sanitizers: - address - undefined |