We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
test_libpluto hangs on the third test case.
$ ./test_libpluto
*** TEST CASE 3 ***
With debug out, it appears that the call to isl hangs.
[pluto] (Band 1) Solving for hyperplane #2 [pluto] pluto_prog_constraints_lexmin (11 variables, 29 constraints) [pluto] pluto_constraints_lexmin_isl (11 variables, 29 constraints)
With GLPK, the second test case itself hangs.
The text was updated successfully, but these errors were encountered:
disable failing test case due to issue #48
d46066d
Signed-off-by: Uday Bondhugula <udayb@iisc.ac.in>
With pip, second test hangs as well. With ISL, the second test gives the following undesired transformation $ ./test_libpluto
*** TEST CASE 2 ***
T(S1): (i0, -4i0+p5) loop types (loop, loop)
T(S2): (i0, -4i0-4i1+p6) loop types (loop, loop)
This is due to the bound lower bound of -4 on transformation coefficients. If the options->coeff_bound is set to 1204, call to isl hangs
*** TEST CASE 2 *** with debug output [pluto] (Band 1) Solving for hyperplane #2 [pluto] pluto_prog_constraints_lexmin (34 variables, 110 constraints) [pluto] pluto_constraints_lexmin_isl (33 variables, 110 constraints)
Sorry, something went wrong.
aravindacharya
No branches or pull requests
test_libpluto hangs on the third test case.
$ ./test_libpluto
*** TEST CASE 3 ***
With debug out, it appears that the call to isl hangs.
[pluto] (Band 1) Solving for hyperplane #2
[pluto] pluto_prog_constraints_lexmin (11 variables, 29 constraints)
[pluto] pluto_constraints_lexmin_isl (11 variables, 29 constraints)
With GLPK, the second test case itself hangs.
The text was updated successfully, but these errors were encountered: