pass list

alaindargelas · Dec 11, 2023 · 6adca37 · 6adca37
1 parent effa099
commit 6adca37
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/formal/passlist.txt b/tests/formal/passlist.txt
@@ -730,6 +730,7 @@ yosys:simple/matching_end_labels.sv
 yosys:simple/mem2reg_bounds_tern.v
 yosys:simple/memwr_port_connection.sv
 yosys:simple/mem_arst.v
+yosys:simple/module_scope.v
 yosys:simple/module_scope_case.v
 yosys:simple/multiplier.v
 yosys:simple/named_genblk.v