[ExportVerilog] Fix broken test: prepare-for-emission

Mitigates #7414, but the true fix is likely #7484.
llvm · Aug 9, 2024 · 46e1297 · 46e1297
1 parent a2c44c1
commit 46e1297
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Conversion/ExportVerilog/prepare-for-emission.mlir b/test/Conversion/ExportVerilog/prepare-for-emission.mlir
@@ -1,5 +1,5 @@
 // RUN: circt-opt %s --pass-pipeline='builtin.module(any(prepare-for-emission))' --split-input-file -verify-diagnostics | FileCheck %s
-// RUN: circt-opt %s -export-verilog -split-input-file
+// RUN: circt-opt %s --lower-verif-to-sv -export-verilog -split-input-file
 
 // CHECK: @namehint_variadic
 hw.module @namehint_variadic(in %a: i3, out b: i3) {