tree e90015406f9acf4a43b44418bd063fba0515fb95
parent 34a01b97b46633d1fbe007bfd1bf4f53938e56c2
author Arjun P <arjunpitchanathan@gmail.com> 1637590974 +0530
committer Copybara-Service <copybara-worker@google.com> 1637591771 -0800

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

GitOrigin-RevId: 0512bf354063098723ba683c63a972eb1a1f74ee