Skip to content
Commit d7d69569 authored by Geoffrey Martin-Noble's avatar Geoffrey Martin-Noble Committed by Mehdi Amini
Browse files

Rename -verify mlir-opt flag to -verify-expected-diagnostics

This name has caused some confusion because it suggests that it's running op verification (and that this verification isn't getting run by default).

PiperOrigin-RevId: 254035268
parent e31c47ee
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment