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

Fehr Mathieu llvmlistbot at llvm.org
Wed Apr 16 18:52:05 PDT 2025


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

Another way of doing that is to pipe it to `z3 -in` rather than creating a new file.
Just mentionning this, not sure what is usually preferred

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


More information about the Mlir-commits mailing list