================ ---------------- makslevental wrote: this tests the logic for how the option is actually passed to `SourceMgrDiagnosticVerifierHandler`, which is slightly different between `mlir-translate` and `mlir-opt` https://github.com/llvm/llvm-project/pull/135131