data/full_repos/permissive/508012015/Watchdog.v
1: b'%Warning-IMPLICIT: data/full_repos/permissive/508012015/Watchdog.v:12: Signal definition not found, creating implicitly: \'w_reset\'\n                                                                     : ... Suggested alternative: \'w_restart\'\nor (w_reset, restart,not_enable);\n    ^~~~~~~\n                   ... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module T_FF (out,t,clear,clk);  
output reg out;
input t,clk,clear;
  always @ (posedge clk) begin  
    if (clear)  
      out <= 0;  
    else  
        if (t)  
            out <= ~out;  
        else  
            out <= out;  
  end  
endmodule
module T_FF (out,t,clear,clk);
  
output reg out;
input t,clk,clear;
  always @ (posedge clk) begin  
    if (clear)  
      out <= 0;  
    else  
        if (t)  
            out <= ~out;  
        else  
            out <= out;  
  end  
endmodule