UTBotCpp
UTBotCpp copied to clipboard
[BUG] Identical tests (records in SARIF report) for 'memory error'
Though I'm not sure if it's more problem of identical tests or we just need prettify SARIF report.
To Reproduce
- Generate tests for following code:
#include <stdlib.h>
int main(int argc, char* argv[]) {
return atoi(argv[1]);
}
- UTbot generates nine tests, four of which are in error suite tests.
- SARIF has an entry for every error tests and points to the same line of code with the same message:

Expected behavior No sure if it's expected that UTbot generates that many tests for one-liner, but it's not very helpful for user to have many identical errors reported on the same line of code, so expected only one record in the report.