Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults

read_verilog: Add missing defaults for flags
YosysHQ · May 7, 2024 · 8735107 · 8735107
2 parents 71f2540 + df95ea8
commit 8735107
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
@@ -270,8 +270,11 @@ struct VerilogFrontend : public Frontend {
 		frontend_verilog_yydebug = false;
 		sv_mode = false;
 		formal_mode = false;
+		noassert_mode = false;
+		noassume_mode = false;
 		norestrict_mode = false;
 		assume_asserts_mode = false;
+		assert_assumes_mode = false;
 		lib_mode = false;
 		specify_mode = false;
 		default_nettype_wire = true;