Description

Added executions withUtSandboxFailure to the SARIF report to display them on the Problems tab.

Fixes#1276,#1168

Type of Change

• New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

org.utbot.sarif.SarifReportTest

Manual Scenario

1. Enable the checkbox "Display detected errors..." in the project settings

2. Run test generation on

   publicclassExample {publicStringproperty(Stringkey) {returnSystem.getProperty(key);     } }

3. Check the detected error:

   

   

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes