Searched refs:expectEqual (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PresburgerSetTest.cpp | 456 expectEqual(evens.unionSet(odds), in TEST()
458 expectEqual(evens.complement(), odds); in TEST()
459 expectEqual(odds.complement(), evens); in TEST()
461 expectEqual(multiples3.intersect(evens), multiples6); in TEST()
500 expectEqual(evens.unionSet(odds), in TEST()
502 expectEqual(evens.complement(), odds); in TEST()
503 expectEqual(odds.complement(), evens); in TEST()
505 expectEqual(multiples3.intersect(evens), multiples6); in TEST()
509 expectEqual(evens, PresburgerSet(evensDefByIneq)); in TEST()
532 expectEqual(triangle, tetrahedron); in TEST()
[all …]
|