diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/docs/HOWTO-ANALYSIS')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/docs/HOWTO-ANALYSIS | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO-ANALYSIS b/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO-ANALYSIS new file mode 100644 index 000000000..b878b0c56 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO-ANALYSIS @@ -0,0 +1,7 @@ +#does not work +CXX="clang++" ~/development/llvm/llvm/tools/clang/tools/scan-build/scan-build --use-cc="clang" --use-c++="clang++" -v --use-analyzer=/usr/local/bin/clang cmake ../ + +#clang-check +CXX="clang++" cmake -DCMAKE_EXPORT_COMPILE_COMMANDS="ON" .. +make -j4 +clang-check -analyze ../cmsat/solver.cpp |