[Mlir-commits] [mlir] [mlir][SMT] add missing ExportSMTLIB tests (PR #136069)

[Maksim Levental]

================
@@ -0,0 +1,143 @@
+// RUN: mlir-translate --export-smtlib %s > %t && z3 %t 2>&1 | FileCheck %s
----------------
makslevental wrote:

ah you know i didn't even notice that z3 was in that pipeline. anyway you're saying do this instead?

```
mlir-translate --export-smtlib %s | z3 -in 2>&1 | FileCheck %s
```
?

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