Skip to content
Vladislav Kalugin edited this page Apr 5, 2022 · 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

  • in VSCode inovke UTBot: Reset cache and configure project command from the Command pallette Shift + Ctrl + P or F1

bear make -j

  • in VSCode inovke UTBot: Reset cache and configure project command from the Command pallette Shift + Ctrl + P or F1

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

No logs, or incorrect logs

  • kill all utbot server instance and run new one. ps aux | grep "utbot server" | grep -v grep | awk '{print $2;}' | xargs kill
Clone this wiki locally