Slow test generation for matrix with constraints #2254
Description
Description
UTBot Java cannot generate for a test that expects specific matrix as input in 3 minutes. However, it was able to do that in 5 minutes.
To Reproduce
Steps to reproduce the behavior:
- Create project in IntelliJ Idea with the following code:
public class Main {
int[][] func(int[][] x, int target) {
int n = x.length;
assert (n >= 5);
for (int[] ints : x) {
assert (ints.length == n);
for (int j = 0; j < n; j++) {
assert (ints[j] == target);
}
}
// simulation of some smart work
int y = 1;
for (int i = 0; i < n; i++) {
y += i;
x[i][i] += y;
}
return x;
}
}- Use plugin to generate tests. Set timeout to 180 seconds.
Expected behavior
At least one successful test should be generated.
Actual behavior
Only failing tests were generated.