faq

Jump to bottom

Vladislav Kalugin edited this page Dec 24, 2021 · 8 revisions

FAQ

UTBot fails to build from docker

invoke source ~/.runtime_env.sh shell command and try again.

Quickstart Wizard tab did not open when you launched the plugin

in VSCode inovke Run UTBot: Quickstart Wizard command from the Command pallette Shift + Ctrl + P or F1

Source file is not registered: /path/to/file/filename.c

Open UTBot explorer from left corner or press F1 and type View: Show UTBot explorer
In UTBOT FOLDERS mark source as UTBot Source Folder src, lib, build\src, build\lib

File not found in compilation_commands.json

Delete build directory from your project path

UNAVAILABLE: No connection established in vscode

Check if utbot server is up
in VSCode inovke Developer: Reload Window command from the Command pallette Shift + Ctrl + P or F1