[NFC] Remove trailing whitespaces

Signed-off-by: Leon Hielscher <hielscher@fzi.de>
This commit is contained in:
Leon Hielscher 2024-07-17 16:35:28 +02:00
parent d26d288249
commit faa22e828e
1 changed files with 5 additions and 5 deletions

View File

@ -438,15 +438,15 @@ def LowerFIRRTLToHW : Pass<"lower-firrtl-to-hw", "mlir::ModuleOp"> {
"bool", "false",
"Emit warnings on unprocessed annotations during lower-to-hw pass">,
Option<"verificationFlavor", "verification-flavor",
"circt::firrtl::VerificationFlavor",
"circt::firrtl::VerificationFlavor::None",
"Specify a verification flavor used in the lowering",
"circt::firrtl::VerificationFlavor",
"circt::firrtl::VerificationFlavor::None",
"Specify a verification flavor used in the lowering",
[{::llvm::cl::values(
clEnumValN(circt::firrtl::VerificationFlavor::None,
clEnumValN(circt::firrtl::VerificationFlavor::None,
"none", "Use the flavor specified by the op"),
clEnumValN(circt::firrtl::VerificationFlavor::IfElseFatal,
"if-else-fatal", "Use Use `if(cond) else $fatal(..)` format"),
clEnumValN(circt::firrtl::VerificationFlavor::Immediate,
clEnumValN(circt::firrtl::VerificationFlavor::Immediate,
"immediate", "Use immediate verif statements"),
clEnumValN(circt::firrtl::VerificationFlavor::SVA, "sva", "Use SVA")
)}]