Home
last modified time | relevance | path

Searched refs:rangeSet (Results 1 – 2 of 2) sorted by relevance

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DPresburgerRelationTest.cpp272 PresburgerSet rangeSet = rel.getRangeSet(); in TEST() local
277 EXPECT_TRUE(rangeSet.isEqual(expectedRangeSet)); in TEST()
H A DIntegerRelationTest.cpp31 IntegerPolyhedron rangeSet = rel.getRangeSet(); in TEST() local
36 EXPECT_TRUE(rangeSet.isEqual(expectedRangeSet)); in TEST()