aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--projects/json/project.yaml1
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