data/full_repos/permissive/129155059/06-fsm/fsm_tb.v
 line:163: before: "("
1: b'%Error: data/full_repos/permissive/129155059/06-fsm/fsm_tb.v:5: Cannot find include file: ascensor_cond.v\n`include "ascensor_cond.v" \n         ^~~~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/ascensor_cond.v\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/ascensor_cond.v.v\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/ascensor_cond.v.sv\n             ascensor_cond.v\n             ascensor_cond.v.v\n             ascensor_cond.v.sv\n             obj_dir/ascensor_cond.v\n             obj_dir/ascensor_cond.v.v\n             obj_dir/ascensor_cond.v.sv\n%Error: data/full_repos/permissive/129155059/06-fsm/fsm_tb.v:6: Cannot find include file: tester.v\n`include "tester.v" \n         ^~~~~~~~~~\n%Error: data/full_repos/permissive/129155059/06-fsm/fsm_tb.v:7: Cannot find include file: verifier.v\n`include "verifier.v" \n         ^~~~~~~~~~~~\n%Error: data/full_repos/permissive/129155059/06-fsm/fsm_tb.v:8: Cannot find include file: synth.v\n`include "synth.v" \n         ^~~~~~~~~\n%Error: data/full_repos/permissive/129155059/06-fsm/fsm_tb.v:9: Cannot find include file: synth_delay.v\n`include "synth_delay.v" \n         ^~~~~~~~~~~~~~~\n%Error: Exiting due to 5 error(s)\n'
module testbench;


   wire CLK_tb, go_up_tb, go_down_tb, halt_tb, reset_tb;
   wire top_lim_synth_tb, top_lim_cond_tb, top_lim_synth_delay_tb;
   wire bott_lim_synth_tb, bott_lim_cond_tb, bott_lim_synth_delay_tb;
   wire [4:0] estado_cond_tb, prox_estado_cond_tb;
   wire [4:0] estado_synth_tb, prox_estado_synth_tb;
   wire [4:0] estado_synth_delay_tb, prox_estado_synth_delay_tb;

   tester     letest( .CLK                     (CLK_tb),
                      .go_down                 (go_down_tb),
                      .go_up                   (go_up_tb),
                      .halt                    (halt_tb),
                      .reset                   (reset_tb),
                      .top_lim_cond            (top_lim_cond_tb),
                      .bott_lim_cond           (bott_lim_cond_tb),
                      .top_lim_synth           (top_lim_synth_tb),
                      .bott_lim_synth          (bott_lim_synth_tb),
                      .top_lim_synth_delay     (top_lim_synth_delay_tb),
                      .bott_lim_synth_delay    (bott_lim_synth_delay_tb),
                      .estado_cond             (estado_cond_tb),
                      .prox_estado_cond        (prox_estado_cond_tb),
                      .estado_synth            (estado_synth_tb),
                      .prox_estado_synth       (prox_estado_synth_tb),
                      .estado_synth_delay      (estado_synth_delay_tb),
                      .prox_estado_synth_delay (prox_estado_synth_delay_tb)
                      );

  ascensor_cond         a_cond(   .CLK         (CLK_tb),
                                  .go_down     (go_down_tb),
                                  .go_up       (go_up_tb),
                                  .halt        (halt_tb),
                                  .reset       (reset_tb),
                                  .top_lim     (top_lim_cond_tb),
                                  .bott_lim    (bott_lim_cond_tb),
                                  .estado      (estado_cond_tb),
                                  .prox_estado (prox_estado_cond_tb)
                                  );

  ascensor_synth      a_synth(    .CLK         (CLK_tb),
                                  .go_down     (go_down_tb),
                                  .go_up       (go_up_tb),
                                  .halt        (halt_tb),
                                  .reset       (reset_tb),
                                  .top_lim     (top_lim_synth_tb),
                                  .bott_lim    (bott_lim_synth_tb),
                                  .estado      (estado_synth_tb),
                                  .prox_estado (prox_estado_synth_tb)
                                  );

  ascensor_synth_delay a_synth_delay( .CLK          (CLK_tb),
                                      .go_down      (go_down_tb),
                                      .go_up        (go_up_tb),
                                      .halt         (halt_tb),
                                      .reset        (reset_tb),
                                      .top_lim      (top_lim_synth_delay_tb),
                                      .bott_lim     (bott_lim_synth_delay_tb),
                                      .estado       (estado_synth_delay_tb),
                                      .prox_estado  (prox_estado_synth_delay_tb)
                                      );

  verifier          leverifier(   .top_lim_cond          (top_lim_cond_tb),
                                  .bott_lim_cond         (bott_lim_cond_tb),
                                  .top_lim_synth         (top_lim_synth_tb),
                                  .bott_lim_synth        (bott_lim_synth_tb),
                                  .top_lim_synth_delay   (top_lim_synth_delay_tb),
                                  .bott_lim_synth_delay  (bott_lim_synth_delay_tb)
                                  );

endmodule
module testbench;



   wire CLK_tb, go_up_tb, go_down_tb, halt_tb, reset_tb;
   wire top_lim_synth_tb, top_lim_cond_tb, top_lim_synth_delay_tb;
   wire bott_lim_synth_tb, bott_lim_cond_tb, bott_lim_synth_delay_tb;
   wire [4:0] estado_cond_tb, prox_estado_cond_tb;
   wire [4:0] estado_synth_tb, prox_estado_synth_tb;
   wire [4:0] estado_synth_delay_tb, prox_estado_synth_delay_tb;

   tester     letest( .CLK                     (CLK_tb),
                      .go_down                 (go_down_tb),
                      .go_up                   (go_up_tb),
                      .halt                    (halt_tb),
                      .reset                   (reset_tb),
                      .top_lim_cond            (top_lim_cond_tb),
                      .bott_lim_cond           (bott_lim_cond_tb),
                      .top_lim_synth           (top_lim_synth_tb),
                      .bott_lim_synth          (bott_lim_synth_tb),
                      .top_lim_synth_delay     (top_lim_synth_delay_tb),
                      .bott_lim_synth_delay    (bott_lim_synth_delay_tb),
                      .estado_cond             (estado_cond_tb),
                      .prox_estado_cond        (prox_estado_cond_tb),
                      .estado_synth            (estado_synth_tb),
                      .prox_estado_synth       (prox_estado_synth_tb),
                      .estado_synth_delay      (estado_synth_delay_tb),
                      .prox_estado_synth_delay (prox_estado_synth_delay_tb)
                      );

  ascensor_cond         a_cond(   .CLK         (CLK_tb),
                                  .go_down     (go_down_tb),
                                  .go_up       (go_up_tb),
                                  .halt        (halt_tb),
                                  .reset       (reset_tb),
                                  .top_lim     (top_lim_cond_tb),
                                  .bott_lim    (bott_lim_cond_tb),
                                  .estado      (estado_cond_tb),
                                  .prox_estado (prox_estado_cond_tb)
                                  );

  ascensor_synth      a_synth(    .CLK         (CLK_tb),
                                  .go_down     (go_down_tb),
                                  .go_up       (go_up_tb),
                                  .halt        (halt_tb),
                                  .reset       (reset_tb),
                                  .top_lim     (top_lim_synth_tb),
                                  .bott_lim    (bott_lim_synth_tb),
                                  .estado      (estado_synth_tb),
                                  .prox_estado (prox_estado_synth_tb)
                                  );

  ascensor_synth_delay a_synth_delay( .CLK          (CLK_tb),
                                      .go_down      (go_down_tb),
                                      .go_up        (go_up_tb),
                                      .halt         (halt_tb),
                                      .reset        (reset_tb),
                                      .top_lim      (top_lim_synth_delay_tb),
                                      .bott_lim     (bott_lim_synth_delay_tb),
                                      .estado       (estado_synth_delay_tb),
                                      .prox_estado  (prox_estado_synth_delay_tb)
                                      );

  verifier          leverifier(   .top_lim_cond          (top_lim_cond_tb),
                                  .bott_lim_cond         (bott_lim_cond_tb),
                                  .top_lim_synth         (top_lim_synth_tb),
                                  .bott_lim_synth        (bott_lim_synth_tb),
                                  .top_lim_synth_delay   (top_lim_synth_delay_tb),
                                  .bott_lim_synth_delay  (bott_lim_synth_delay_tb)
                                  );

endmodule