================ @@ -0,0 +1,143 @@ +// RUN: mlir-translate --export-smtlib %s > %t && z3 %t 2>&1 | FileCheck %s ---------------- makslevental wrote: yea that works but i need to gate this test behind something that checks whether is on the system https://github.com/llvm/llvm-project/pull/136069