================ @@ -0,0 +1,143 @@ +// RUN: mlir-translate --export-smtlib %s > %t && z3 %t 2>&1 | FileCheck %s ---------------- makslevental wrote: Lemme just try it locally.............. https://github.com/llvm/llvm-project/pull/136069