================ @@ -0,0 +1,143 @@ +// RUN: mlir-translate --export-smtlib %s > %t && z3 %t 2>&1 | FileCheck %s ---------------- math-fehr wrote: Yep! That's usually what I use in our filecheck tests. https://github.com/llvm/llvm-project/pull/136069