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

[Fehr Mathieu]

================
@@ -0,0 +1,192 @@
+// REQUIRES: z3-prover
+// RUN: mlir-translate --export-smtlib %s | z3 -in %t 2>&1 | FileCheck %s
+// RUN: mlir-translate --export-smtlib --smtlibexport-inline-single-use-values %s | z3 -in 2>&1 | FileCheck %s
+// REQUIRES: z3
----------------
math-fehr wrote:

You have both `z3-prover` and `z3` here?

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