[Mlir-commits] [mlir] [MLIR][SMTLIB][CAPI] add mlir-capi-smtlib-test to MLIR_TEST_DEPENDS (PR #158521)

llvmlistbot at llvm.org llvmlistbot at llvm.org
Sun Sep 14 17:56:51 PDT 2025


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-mlir

Author: Maksim Levental (makslevental)

<details>
<summary>Changes</summary>

`mlir-capi-smtlib-test` is missing from `MLIR_TEST_DEPENDS`

---
Full diff: https://github.com/llvm/llvm-project/pull/158521.diff


1 Files Affected:

- (modified) mlir/test/CMakeLists.txt (+1) 


``````````diff
diff --git a/mlir/test/CMakeLists.txt b/mlir/test/CMakeLists.txt
index 628adcfb6e285..877ee684f59c4 100644
--- a/mlir/test/CMakeLists.txt
+++ b/mlir/test/CMakeLists.txt
@@ -107,6 +107,7 @@ set(MLIR_TEST_DEPENDS
   mlir-capi-quant-test
   mlir-capi-rewrite-test
   mlir-capi-smt-test
+  mlir-capi-smtlib-test
   mlir-capi-sparse-tensor-test
   mlir-capi-transform-test
   mlir-capi-transform-interpreter-test

``````````

</details>


https://github.com/llvm/llvm-project/pull/158521


More information about the Mlir-commits mailing list