Update docs/source/research_tool_docs/vara/add_setup_infos/clion_setu…

…p.rst
se-sic · Mar 28, 2024 · fb1a096 · fb1a096
1 parent ebbe587
commit fb1a096
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/research_tool_docs/vara/add_setup_infos/clion_setup.rst b/docs/source/research_tool_docs/vara/add_setup_infos/clion_setup.rst
@@ -68,7 +68,7 @@ How to set up VaRA/LLVM in CLion
            -DCMAKE_CXX_STANDARD=17
            -DCMAKE_EXPORT_COMPILE_COMMANDS=ON
            -DCMAKE_INSTALL_PREFIX=<varats_root>/tools/VaRA
-           -DLLVM_ENABLE_ASSERTIONS=ON
+           -DLLVM_ENABLE_ASSERTIONS=OFF
            -DLLVM_ENABLE_BINDINGS=OFF
            -DLLVM_ENABLE_EH=ON
            -DLLVM_ENABLE_LLD=ON