Update basic.mlir

Author: makslevental

mlir/test/Target/ExportSMTLIB/basic.mlir

@@ -1,7 +1,6 @@
 // REQUIRES: z3-prover
-// RUN: mlir-translate --export-smtlib %s | z3 -in %t 2>&1 | FileCheck %s
+// RUN: mlir-translate --export-smtlib %s | z3 -in 2>&1 | FileCheck %s
 // RUN: mlir-translate --export-smtlib --smtlibexport-inline-single-use-values %s | z3 -in 2>&1 | FileCheck %s
-// REQUIRES: z3
 
 // Function and constant symbol declarations, uninterpreted sorts
 smt.solver () : () -> () {

mlir/test/Target/ExportSMTLIB/lit.local.cfg

@@ -1,3 +1,5 @@
+import lit.util
+
 if lit.util.which("z3", config.environment["PATH"]):
     config.available_features.add("z3-prover")