data/full_repos/permissive/129155059/06-fsm/verifier.v
1: b'%Error: data/full_repos/permissive/129155059/06-fsm/verifier.v:1: Cannot find include file: definitions.v\n`include "definitions.v" \n         ^~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/definitions.v\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/definitions.v.v\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/definitions.v.sv\n             definitions.v\n             definitions.v.v\n             definitions.v.sv\n             obj_dir/definitions.v\n             obj_dir/definitions.v.v\n             obj_dir/definitions.v.sv\n%Error: Exiting due to 1 error(s)\n'
module verifier(input top_lim_cond,
                input bott_lim_cond,
                input top_lim_synth,
                input bott_lim_synth,
                input top_lim_synth_delay,
                input bott_lim_synth_delay
                );

  always @ (posedge top_lim_synth_delay or negedge top_lim_synth_delay) begin
    if (top_lim_synth_delay != top_lim_cond) begin
      $display("##############################\nError de salida en T = %t, top_lim_synth_delay = %d, top_lim_cond = %d, top_lim_synth = %d.\n##############################", $time, top_lim_synth_delay, top_lim_cond, top_lim_synth);
    end
  end

  always @ (posedge bott_lim_synth_delay or negedge bott_lim_synth_delay) begin
    if (bott_lim_synth_delay != bott_lim_cond) begin
      $display("##############################\nError de salida en T = %t, bott_lim_delay = %d, bott_lim_cond = %d, bott_lim_struct = %d.\n##############################", $time, bott_lim_synth_delay, bott_lim_cond, bott_lim_synth);
    end
  end

endmodule
module verifier(input top_lim_cond,
                input bott_lim_cond,
                input top_lim_synth,
                input bott_lim_synth,
                input top_lim_synth_delay,
                input bott_lim_synth_delay
                );


  always @ (posedge top_lim_synth_delay or negedge top_lim_synth_delay) begin
    if (top_lim_synth_delay != top_lim_cond) begin
      $display("##############################\nError de salida en T = %t, top_lim_synth_delay = %d, top_lim_cond = %d, top_lim_synth = %d.\n##############################", $time, top_lim_synth_delay, top_lim_cond, top_lim_synth);
    end
  end

  always @ (posedge bott_lim_synth_delay or negedge bott_lim_synth_delay) begin
    if (bott_lim_synth_delay != bott_lim_cond) begin
      $display("##############################\nError de salida en T = %t, bott_lim_delay = %d, bott_lim_cond = %d, bott_lim_struct = %d.\n##############################", $time, bott_lim_synth_delay, bott_lim_cond, bott_lim_synth);
    end
  end

endmodule