data/full_repos/permissive/104053853/vending.v
1: b'%Warning-WIDTH: data/full_repos/permissive/104053853/vending.v:164: Operator NEQ expects 5 bits on the RHS, but RHS\'s CONST \'4\'h0\' generates 4 bits.\n                                                                  : ... In instance top_module.controller\n      if (coin_val != 4\'b0000)\n                   ^~\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Error: data/full_repos/permissive/104053853/vending.v:40: Cannot find file containing module: \'frequency_divider\'\nfrequency_divider devider(clock, new_clock);\n^~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/104053853,data/full_repos/permissive/104053853/frequency_divider\n             data/full_repos/permissive/104053853,data/full_repos/permissive/104053853/frequency_divider.v\n             data/full_repos/permissive/104053853,data/full_repos/permissive/104053853/frequency_divider.sv\n             frequency_divider\n             frequency_divider.v\n             frequency_divider.sv\n             obj_dir/frequency_divider\n             obj_dir/frequency_divider.v\n             obj_dir/frequency_divider.sv\n%Error: data/full_repos/permissive/104053853/vending.v:44: Cannot find file containing module: \'hello_printer\'\nhello_printer hello((~hold_ind & reset), new_clock, seq1, an1);\n^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/104053853/vending.v:45: Cannot find file containing module: \'digit_printer\'\ndigit_printer goods(((hold_ind | coin_ind) & (~charge_ind) & (~drinktk_ind)), new_clock, goods_val_now, seq2, an2);\n^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/104053853/vending.v:46: Cannot find file containing module: \'bi_printer\'\nbi_printer goods_coin(seq2, (~((~an2) >> 5)), seq3, an3, new_clock, seq2_3, an2_3);\n^~~~~~~~~~\n%Error: data/full_repos/permissive/104053853/vending.v:47: Cannot find file containing module: \'digit_printer\'\ndigit_printer coin(coin_ind, new_clock, coin_val, seq3, an3);\n^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/104053853/vending.v:48: Cannot find file containing module: \'digit_printer\'\ndigit_printer charge(charge_ind, new_clock, charge_val, seq4, an4);\n^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/104053853/vending.v:49: Cannot find file containing module: \'fin_printer\'\nfin_printer fin(drinktk_ind, new_clock, seq5, an5);\n^~~~~~~~~~~\n%Error: Exiting due to 7 error(s), 1 warning(s)\n'
module coin_inserter (input reset,
                    input switch,
                    input coin_confirm,
                    input val_mark,
                    output reg [4:0] coin_val);

initial
begin
  coin_val = 0;
end

always @ (negedge reset or posedge coin_confirm)
begin
  if (!reset) coin_val <= 0;
  else
  begin
    if (switch == 1)
    begin
      if (val_mark == 0)
          coin_val <= coin_val + 1;
      else
          coin_val <= coin_val + 10;
    end
  end
end
endmodule
module coin_inserter (input reset,
                    input switch,
                    input coin_confirm,
                    input val_mark,
                    output reg [4:0] coin_val);


initial
begin
  coin_val = 0;
end

always @ (negedge reset or posedge coin_confirm)
begin
  if (!reset) coin_val <= 0;
  else
  begin
    if (switch == 1)
    begin
      if (val_mark == 0)
          coin_val <= coin_val + 1;
      else
          coin_val <= coin_val + 10;
    end
  end
end
endmodule