[Mlir-commits] [mlir] [MLIR][Transform][SMT] Introduce transform.smt.constrain_params (PR #159450)

[Frank Schlimbach]

================
@@ -0,0 +1,50 @@
+# RUN: %PYTHON %s | FileCheck %s
+
+from mlir.ir import *
----------------
fschlimb wrote:

Ouch.

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