25 lines · plain
1add_mlir_unittest(MLIRPresburgerTests2 BarvinokTest.cpp3 FractionTest.cpp4 GeneratingFunctionTest.cpp5 IntegerPolyhedronTest.cpp6 IntegerRelationTest.cpp7 LinearTransformTest.cpp8 MatrixTest.cpp9 Parser.h10 ParserTest.cpp11 PresburgerSetTest.cpp12 PresburgerRelationTest.cpp13 PresburgerSpaceTest.cpp14 PWMAFunctionTest.cpp15 QuasiPolynomialTest.cpp16 SimplexTest.cpp17 UtilsTest.cpp18)19 20mlir_target_link_libraries(MLIRPresburgerTests21 PRIVATE MLIRPresburger22 MLIRAffineAnalysis23 MLIRParser24 )25