data/full_repos/permissive/143278/ivltests/pr3309391.v
 line:3: before: "Tdelay"
1: b'%Error: data/full_repos/permissive/143278/ivltests/pr3309391.v:6: Can\'t find definition of variable: \'Tdelay\'\n  initial if (Tdelay != 1.0) $display("FAILED:, got %f", Tdelay);\n              ^~~~~~\n%Error: Exiting due to 1 error(s)\n'
module top;
  specify
    specparam Tdelay = 1.0;
  endspecify

  initial if (Tdelay != 1.0) $display("FAILED:, got %f", Tdelay);
          else $display("PASSED");
endmodule
module top;

  specify
    specparam Tdelay = 1.0;
  endspecify

  initial if (Tdelay != 1.0) $display("FAILED:, got %f", Tdelay);
          else $display("PASSED");
endmodule