[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