Skip to content

Troubleshooting for VSCode configuration

Jump to bottom
Yulei Sui edited this page Sep 7, 2021 · 20 revisions

Wrong working directory

If you have the error message in the images. Please do make sure your VSCode is working under the correct folder. Click “File” -> “Folder” then switch to "/home/SVF-tools/SVF-Teaching/ “ as your current working directory. error-debugging.png

M1 chip Mac

If you are using M1 chip Mac, you may not be able to debug using the default docker image. This link is useful for those on systems not fully supported right now (M1 Mac is probably the most common) or those who want to use their own tooling rather than VSCode.

You can also set up SVF-Teaching using Google Computing Platform

VSCode Error "Unable to open 'raise.c'"

If everything else is working otherwise, you can ignore this. During source-level debugging, VSCode is looking for some source for some library code that is executed along with your program but while the compiled library is available, the source is not.

We should be able to trust these system libraries and so we don't need to debug them for the rest of the world. :)

squiggly lines

  1. In the settings, set the C_Cpp Intelli Sense Engine field to Default (search for C_Cpp.intelliSenseEngine).
  2. In the file .vscode/c_cpp_properties.json, change line 10 to "compilerPath": "/home/SVF-tools/SVF/llvm-12.0.0.obj/bin/clang++", line 13 to "intelliSenseMode": "linux-clang-x64"
Clone this wiki locally