Arjun P dc07d2c91d [MLIR][Presburger] make sample test with integer lexmin use containsPointNoLocal ...

IntegerPolyhedron::findIntegerLexmin currently does not return values of
the local ids, so when a test for sampling includes a set with locals, the
result of findIntegerLexmin should be checked using containsPointNoLocal,
not containsPoint.

2022-08-08 14:46:02 +01:00

..

Presburger

[MLIR][Presburger] make sample test with integer lexmin use containsPointNoLocal

2022-08-08 14:46:02 +01:00

CMakeLists.txt

…