brintos / llvm-project-archived public Read only

Text · 152 B · a133146 Raw

11 lines · plain

1add_mlir_unittest(MLIRSMTTests2  AttributeTest.cpp3  QuantifierTest.cpp4  TypeTest.cpp5)6 7mlir_target_link_libraries(MLIRSMTTests8  PRIVATE9  MLIRSMT10)11