Vladislav Kalugin comments

Results 13 comments of


                                            Vladislav Kalugin

Add tracking of one line build to bear

Probably we should update our Bear to last version

Run UTBot on its own sources and fix remaining issues

similar #101

[BUG] testcase compile fail

Hello @tang4530. Can you attach code example of generated test and `CfgLchInfo` struct

Only one test generates for function

Problem with `-disable-O0-optnone` compiler flag Not reproduce on main branch of KLEE

[BUG] Timeout from setting is not used during test generation

We have additional timeout inside UTBot `--bcov-check-interval=8s`

Cannot run test generated for structures named after C++ keyword

similar #534

`jq` project: UTBot cannot generate tests, KLEE internal errors, Plugin cannot re-connect to the server

related issue #587 #588

To catch C/C++ signed/unsigned overflow

@sava-cska, please investigate test generation then the option is on.

Split error and assert fails suites

examples: * [postgres](https://github.com/postgres/postgres/blob/27b77ecf9f4d5be211900eda54d8155ada50d696/src/backend/replication/basebackup_sink.c#L24) * [sqlite](https://github.com/sqlite/sqlite/blob/63a47336afb8ae8f3e4a48b5f5a19201b1f04e13/src/vdbeapi.c#L61)

Some new paths can be unavailable

linked with [issue-52](https://github.com/UnitTestBot/UTBotCpp/issues/52)