Flaky Syntax_Test.sort_array

[ladisgin]

https://github.com/UnitTestBot/UTBotCpp/actions/runs/4124680165/jobs/7125113552#step:5:3656

[ RUN ] Syntax_Test.sort_array
2023-02-08 15:06:48.068 TargetBuildDatabase.cpp:22 INFO| Chosen target: /__w/UTBotCpp/UTBotCpp/server/test/suites/syntax/build_clang/syntax1
2023-02-08 15:07:06.556 TestsWriter.cpp:53 INFO| Backup previous report to project_code_analysis-20230208150644.sarif
2023-02-08 15:07:06.557 ServerTestsWriter.cpp:82 INFO| Sarif Report was created
2023-02-08 15:07:06.557 Server.cpp:277 INFO| KLEE time: 17080 ms

2023-02-08 15:07:06.557 Server.cpp:282 INFO| See generation stats here: /__w/UTBotCpp/UTBotCpp/server/test/suites/syntax/utbot_report/generation-stats.csv
../test/framework/TestUtils.cpp:57: Failure
Expected: (-1) != (ind), actual: -1 vs -1
Predicates don't match test cases:
Not found test case for predicate at position:0
Function name:
Remaining non-matched test cases:
Parameters values: {4, 3, 3, 3, 3, 3, 3, 3, 3, 2} 65536
Return value: 0
Parameters values: {0, 8, -2, 8, 0, 0, 0, 0, 0, 0} 4
Return value: 1
Parameters values: {1, 1, 0, 1, 1, 0, 0, 0, 0, 0} 5
Return value: 1
Parameters values: {0, 0, 0, 0, 0, 0, 0, 0, 0, 0} 0
Return value: 0

[ FAILED ] Syntax_Test.sort_array (22370 ms)