Error logs in release CLI mode

[ladisgin]

Then run UTBot generate in CLI mode it write error because can't find klee-stats

root@bea8f7031208:~/c_proj# /usr/src/utbot-cli/utbot_online_cli.sh generate ~/c_proj/ ~/c_proj/main.c
-- The C compiler identification is Clang 10.0.1
-- The CXX compiler identification is Clang 10.0.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/src/utbot-cli/install/bin/clang - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/src/utbot-cli/install/bin/clang++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Configuring done
-- Generating done
-- Build files have been written to: /root/c_proj/build
[ 50%] Building C object CMakeFiles/cpp-proj.dir/main.c.o
[100%] Linking C executable cpp-proj
[100%] Built target cpp-proj
[2022-05-26 21:12:28] Run utbot-cli
2022-05-26 21:12:28.652 (   0.006s) [UnitTestBot     ]    GenerationUtils.cpp:60    INFO| Target was not chosen. Using UTBot: Auto target instead.
Running klee
2022-05-26 21:12:28.927 (   0.280s) [UnitTestBot     ]       BaseForkTask.cpp:77     ERR| Exit status: 255
2022-05-26 21:12:28.927 (   0.280s) [UnitTestBot     ]       BaseForkTask.cpp:78     ERR| See details in "/root/logs/UnitTestBot/2022-05-26T21-12-28925.log"
2022-05-26 21:12:28.927 (   0.280s) [UnitTestBot     ]         KleeRunner.cpp:117    ERR| klee-stats call failed:
2022-05-26 21:12:28.927 (   0.280s) [UnitTestBot     ]         KleeRunner.cpp:118    ERR| 
2022-05-26 21:12:28.928 (   0.281s) [UnitTestBot     ]       BaseForkTask.cpp:77     ERR| Exit status: 255
2022-05-26 21:12:28.928 (   0.281s) [UnitTestBot     ]       BaseForkTask.cpp:78     ERR| See details in "/root/logs/UnitTestBot/2022-05-26T21-12-28927.log"
2022-05-26 21:12:28.928 (   0.281s) [UnitTestBot     ]         KleeRunner.cpp:117    ERR| klee-stats call failed:
2022-05-26 21:12:28.928 (   0.281s) [UnitTestBot     ]         KleeRunner.cpp:118    ERR| 
2022-05-26 21:12:28.928 (   0.282s) [UnitTestBot     ]     CLITestsWriter.cpp:25    INFO| main_dot_c_test.cpp test file generated
2022-05-26 21:12:28.928 (   0.282s) [UnitTestBot     ]     CLITestsWriter.cpp:34    INFO| 1 test file generated.
2022-05-26 21:12:28.928 (   0.282s) [UnitTestBot     ]             Server.cpp:282   INFO| KLEE time: 215 ms

2022-05-26 21:12:28.928 (   0.282s) [UnitTestBot     ]      GenerationUtils.h:70    INFO| Successfully finished tests generation.