Description

If UTBot generates a test that throws an AssertionError, then for some reason there is no information about the detected error in the SARIF report.

Expected behavior

1. User generates tests for

public class Example {
    public void check(int number) {
        assert(number > 0);
    }
}

2. Then the SARIF report contains the result about an AssertionError.