From c770144ef860e8054fbfbb8964192ff044f5ca09 Mon Sep 17 00:00:00 2001 From: tfk Date: Wed, 20 Jul 2022 19:39:59 +0000 Subject: [PATCH] =?UTF-8?q?Update=20User's=20guide=20=E2=80=9Cconvert-a-c+?= =?UTF-8?q?+-program=E2=80=9D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/doc/users-guide/convert-a-c++-program.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/doc/users-guide/convert-a-c++-program.md b/src/doc/users-guide/convert-a-c++-program.md index 26ea411b..4d208e11 100644 --- a/src/doc/users-guide/convert-a-c++-program.md +++ b/src/doc/users-guide/convert-a-c++-program.md @@ -190,6 +190,10 @@ The Cilksan race detector can be used to check for race conditions in the parall ```shell > clang++ qsort.cpp -o qsort –Og -g -fopencilk -fsanitize=cilk ./qsort 10000000 + +Cilksan detected 0 distinct races. +Cilksan suppressed 0 duplicate race reports. + ``` The Cilksan race detector will report any race conditions present in the program and verify the absence of races in a race-free program. More detailed instructions about the use of Cilksan can be found [here](/doc/users-guide/getting-started/#using-cilksan). \ No newline at end of file