UTBotCpp icon indicating copy to clipboard operation
UTBotCpp copied to clipboard

[BUG] Identical tests (records in SARIF report) for 'memory error'

Open tyuldashev opened this issue 3 years ago • 0 comments

Though I'm not sure if it's more problem of identical tests or we just need prettify SARIF report.

To Reproduce

  1. Generate tests for following code:
#include <stdlib.h>

int main(int argc, char* argv[]) {
    return  atoi(argv[1]);
}
  1. UTbot generates nine tests, four of which are in error suite tests.
  2. SARIF has an entry for every error tests and points to the same line of code with the same message:

image

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.

tyuldashev avatar Sep 06 '22 11:09 tyuldashev