From ce444a82c3687f1788f4d44ef59ace5c79836e77 Mon Sep 17 00:00:00 2001 From: Yingchi Long Date: Tue, 30 May 2023 16:23:04 +0800 Subject: [PATCH] docs/dev: notice for testing before contributing --- docs/dev.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/dev.md b/docs/dev.md index dd20441ac..47c82009a 100644 --- a/docs/dev.md +++ b/docs/dev.md @@ -36,6 +36,10 @@ Nixd regression tests could be found at [here](tools/nixd/test/). Our git history is semi-linear. That is, firstly we rebase a branch on the top of the mainline, then merge it with `--no-ff`. +Our continuous integration systems will enable several **sanitizer** options to detect data races and undefined behavior in our codebase. + +Please add or modify tests for your changed files (with all branches are coveraged) and ensure that all tests can pass with sanitizers enabled. + #### Commit message Commit messages are formatted with: