From c963ff97d00a50dee34fa047bd0d6329309167e8 Mon Sep 17 00:00:00 2001 From: Tomasz Gorochowik Date: Thu, 28 Dec 2023 08:59:43 +0100 Subject: [PATCH] Add yosys:fmt/always_comb.v to passlist Signed-off-by: Tomasz Gorochowik --- tests/formal/passlist.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/formal/passlist.txt b/tests/formal/passlist.txt index b9dbc031..7d4320a3 100644 --- a/tests/formal/passlist.txt +++ b/tests/formal/passlist.txt @@ -632,6 +632,7 @@ yosys:bind/cell_list.sv yosys:bind/inst_list.sv yosys:errors/syntax_err09.v yosys:errors/syntax_err13.v +yosys:fmt/always_comb.v yosys:hana/test_parser.v yosys:hana/test_simulation_and.v yosys:hana/test_simulation_decoder.v