1add_mlir_unittest(MLIRPresburgerTests 2 MatrixTest.cpp 3 SimplexTest.cpp 4) 5 6target_link_libraries(MLIRPresburgerTests 7 PRIVATE MLIRPresburger) 8 9