[MLIR] PresburgerSetTest: fix comment and add a test case
authorArjun P <arjunpitchanathan@gmail.com>
Mon, 22 Nov 2021 14:22:54 +0000 (19:52 +0530)
committerArjun P <arjunpitchanathan@gmail.com>
Mon, 22 Nov 2021 14:30:56 +0000 (20:00 +0530)
commit0512bf354063098723ba683c63a972eb1a1f74ee
tree95a39b56d1f1c05362f2b39536b1eccf86752c71
parentd633db8f9dd4a361e60a9030c82adc490d5797e3
[MLIR] PresburgerSetTest: fix comment and add a test case
mlir/unittests/Analysis/PresburgerSetTest.cpp