User guide System requirements UnitTestBot server Linux Local installation Remote installation via Docker Windows Local installation via WSL Remote installation via Docker macOS UnitTestBot client Visual Studio Code plugin Install and configure the plugin Generate tests with default configuration Fine-tune test generation Get use of test results CLion plugin Install and configure the plugin Generate tests with default configuration Fine-tune test generation Get use of test results GitHub Action Supported syntax C C++ Contributor guides Developer guides To do Create a release Testing release in Docker Label usage guideline Troubleshooting Advanced How UTBot Works How types are fetched and stored Makefiles Symbolic Stdin UTBot Logging Principles Targets Compile database Coverage Generating and running test Incrementality Linking bitcode Preparing source for klee Stubs inside KLEE patches Lazy initialization Symcretes Objects of symbolic size