data/full_repos/permissive/129155059/04-struct_register/verifier.v
1: b'%Error: data/full_repos/permissive/129155059/04-struct_register/verifier.v:1: Cannot find include file: definitions.v\n`include "definitions.v" \n         ^~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/129155059/04-struct_register,data/full_repos/permissive/129155059/definitions.v\n             data/full_repos/permissive/129155059/04-struct_register,data/full_repos/permissive/129155059/definitions.v.v\n             data/full_repos/permissive/129155059/04-struct_register,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      [3:0]  Qcond,
                  input      [3:0]  Qstruct,
                  input             S_OUTcond,
                  input             S_OUTstruct
                  );

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

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

endmodule
module verifier(  input      [3:0]  Qcond,
                  input      [3:0]  Qstruct,
                  input             S_OUTcond,
                  input             S_OUTstruct
                  );


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

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

endmodule