Skip to content

Commit

Permalink
Update checker_and_analyzer_configuration.md (#3350)
Browse files Browse the repository at this point in the history
* Update checker_and_analyzer_configuration.md

Use `--` instead of `-` and Add `clangsa:`.
  • Loading branch information
Gabor Marton authored Jun 11, 2021
1 parent eec3ed2 commit fad91e1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/analyzer/checker_and_analyzer_configuration.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ the analysis.
The bug refutation in the static analyzer is disabled by default and it’s
hidden behind the flag `--crosscheck-with-z3`. Once the user has a version of
clang built with Z3, the bug refutation can be enabled by passing
`-analyzer-config crosscheck-with-z3=true` when calling the clang static
`--analyzer-config clangsa:crosscheck-with-z3=true` when calling the clang static
analyzer. CodeChecker will automatically detect that the Clang was built with
this option and you don't have to pass these arguments to the analyzer command
itself when using CodeChecker, you just have to run the CodeChecker analyze
Expand Down

0 comments on commit fad91e1

Please sign in to comment.