[MLIR] PresburgerSetTest: fix comment and add a test case

GitOrigin-RevId: 0512bf354063098723ba683c63a972eb1a1f74ee
1 file changed
tree: e90015406f9acf4a43b44418bd063fba0515fb95
  1. cmake/
  2. docs/
  3. examples/
  4. include/
  5. lib/
  6. python/
  7. test/
  8. tools/
  9. unittests/
  10. utils/
  11. .clang-format
  12. .clang-tidy
  13. CMakeLists.txt
  14. LICENSE.TXT
  15. README.md
README.md

Multi-Level Intermediate Representation

See https://mlir.llvm.org/ for more information.