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)