UTBotCpp

UTBotCpp copied to clipboard

### Current behavior UTBot is built multiple times in different jobs. ### Expected behavior Build is separated into different job and other jobs are dependent on it.

antipeon

## Steps to reproduce: 1. Open [UTBot Online](https://www.utbot.org/utbot/) 2. Choose C++ language 3. Paste the following code ```cpp #include #include #include using namespace std; class A { public: int method()...

operasfantom

Update readme for the project

2

The existing documentation is very limited… I would like to get more information from it 🙏

orchestr7

Run tests fail then use CLI command. ``` bash root@bea8f7031208:~/c_proj# /usr/src/utbot-cli/utbot_online_cli.sh run ~/c_proj/ ~/c_proj/tests/main_dot_c_test.cpp [2022-05-27 06:24:59] Run utbot-cli /usr/src/utbot-cli/debs-install/usr/bin/ld.gold: warning: Cannot export local symbol '__asan_extra_spill_area' /root/tmp/UnitTestBot/c_proj/build/googletest/gtest-all.cc.o:gtest-all.cc:function testing::Message::Message(): error: undefined reference...

ladisgin

Then run UTBot generate in CLI mode it write error because can't find klee-stats ``` bash 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 --...

ladisgin

ladisgin

Add templates for pull request and commit. May check example in KLEE repository.

ladisgin

Support incomplete types

2

## Steps to reproduce 1. Open and configure project `coreutils` 2. Choose target `libcoreutils.a` 3. Generate tests for function di_set_free from `gnulib/lib/di-set.c` 4. See generated tests. ## Current result Currently...

Lana243

Now we have two way of compile project as lib and obj. But we haven't tests for it. Make minimal reproduce for fail first type of compile, and add it...

ladisgin

korifey