clion fine tune
You have already configured some settings with the UTBot: Quickstart wizard, and you may change them later. You can also adjust additional settings for your testing purposes.
Go to Settings > Tools > UTBot Settings.
Adjust the settings, if necessary:
| Setting | Default value | Comments |
|---|---|---|
| Connection Settings | ||
| Server port: | 5521 |
The port used by the client to connect to a server via a gRPC channel. |
| Server host name: | 127.0.0.1 |
UnitTestBot server name or IP address. |
| Path to project on remote machine: | /home/utbot/remote/c-example |
The relative path to your project on the server host. |
| Paths | ||
| Build directory: | build |
Contains compile_commands.json and link_commands.json. |
| Test directory: | tests |
|
| Source paths: | Paths to the projects you would like to generate tests for. | |
| CMake | ||
| CMake options: |
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON-DCMAKE_EXPORT_LINK_COMMANDS=ON
|
Options passed to CMake command to automatically build your project. |
| Generator Settings | ||
| Use stubs | Select to use autogenerated stubs. | |
| Use verbose mode | Select to generate structured tests with more detail. | |
| Use deterministic searcher | Use deterministic searcher to traverse bitcode in the same way every time. It may significantly slow down test generation. |
|
| Generate for static functions | Select to generate tests for the C static functions. | |
| Timeout per function: (s) | 30 |
Set timeout to generate tests for a given function. Set to 0 to disable it. |
| Timeout per test: (s) | To prevent hanging tests, set timeout to run a single test. As soon as timeout exceeds, the test is automatically cancelled. Set to 0 to disable it. |