verilog/tools/lint/testdata/banned_declared_name_patterns.sv - third_party/verible - Git at Google


            
            module banned_declared_name_patterns;

            
              module ILLEGALNAME;

            
              endmodule : ILLEGALNAME

            
            endmodule : banned_declared_name_patterns
	module banned_declared_name_patterns;
	module ILLEGALNAME;
	endmodule : ILLEGALNAME
	endmodule : banned_declared_name_patterns