CMakeLists.txt 144 Bytes Raw Blame History Permalink 1 2 3 4 5 6 7 add_mlir_unittest(MLIRPresburgerTests MatrixTest.cpp SimplexTest.cpp ) target_link_libraries(MLIRPresburgerTests PRIVATE MLIRPresburger)
