diff --git a/test_regress/t/t_array_packed_write_read.v b/test_regress/t/t_array_packed_write_read.v index 99aae9117..0da8351b4 100644 --- a/test_regress/t/t_array_packed_write_read.v +++ b/test_regress/t/t_array_packed_write_read.v @@ -27,7 +27,7 @@ module t (/*AUTOARG*/ // msg926 logic [3:0][31:0] packedArray; - initial packedArray <= '0; + initial packedArray = '0; // event counter always @ (posedge clk) begin diff --git a/test_regress/t/t_iff.out b/test_regress/t/t_iff.out new file mode 100644 index 000000000..6680a685b --- /dev/null +++ b/test_regress/t/t_iff.out @@ -0,0 +1,7 @@ +%Error: t/t_iff.v:64:15: syntax error, unexpected iff, expecting ')' or ',' or or + 64 | always @(d iff enable == 1) begin + | ^~~ +%Error: t/t_iff.v:69:35: syntax error, unexpected iff, expecting ')' + 69 | assert property (@(posedge clk iff enable) + | ^~~ +%Error: Exiting due to diff --git a/test_regress/t/t_iff.pl b/test_regress/t/t_iff.pl index 5fb4f0f50..63ac7c585 100755 --- a/test_regress/t/t_iff.pl +++ b/test_regress/t/t_iff.pl @@ -9,14 +9,15 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di # SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 scenarios(simulator => 1); -$Self->{vlt_all} and unsupported("Verilator unsupported, bug1482, iff not supported"); compile( + expect_filename => $Self->{golden_filename}, + fails => $Self->{vlt_all}, # Verilator unsupported, bug1482, iff not supported ); -execute( - check_finished => 1, - ); +#execute( +# check_finished => 1, +# ); ok(1); 1; diff --git a/test_regress/t/t_param_avec.out b/test_regress/t/t_param_avec.out new file mode 100644 index 000000000..842a71140 --- /dev/null +++ b/test_regress/t/t_param_avec.out @@ -0,0 +1,5 @@ +%Error: t/t_param_avec.v:34:43: Expecting expression to be constant, but variable isn't const: 'array' + : ... In instance t.i0 + 34 | localparam elementf = get_element(IDX, array); + | ^~~~~ +%Error: Exiting due to diff --git a/test_regress/t/t_param_avec.pl b/test_regress/t/t_param_avec.pl index 8271e4b7c..44c71cb71 100755 --- a/test_regress/t/t_param_avec.pl +++ b/test_regress/t/t_param_avec.pl @@ -9,14 +9,15 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di # SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 scenarios(simulator => 1); -$Self->{vlt_all} and unsupported("Verilator unsupported, bug477"); compile( + fails => $Self->{vlt_all}, # Verilator unsupported, bug477 + expect_filename => $Self->{golden_filename}, ); -execute( - check_finished => 1, - ); +#execute( +# check_finished => 1, +# ); ok(1); 1; diff --git a/test_regress/t/t_sv_bus_mux_demux.v b/test_regress/t/t_sv_bus_mux_demux.v index 445cda1d2..39bbb1b71 100644 --- a/test_regress/t/t_sv_bus_mux_demux.v +++ b/test_regress/t/t_sv_bus_mux_demux.v @@ -191,4 +191,4 @@ always @ (posedge clk, posedge rst) if (rst) bso_rdy = 1'b0; else bso_rdy = 1'b1; -endmodule : sv_bus_mux_demux_tb +endmodule diff --git a/test_regress/t/t_sv_bus_mux_demux/sv_bus_mux_demux_mux.sv b/test_regress/t/t_sv_bus_mux_demux/sv_bus_mux_demux_mux.sv index 8c70875ad..4d963545b 100644 --- a/test_regress/t/t_sv_bus_mux_demux/sv_bus_mux_demux_mux.sv +++ b/test_regress/t/t_sv_bus_mux_demux/sv_bus_mux_demux_mux.sv @@ -56,7 +56,7 @@ else str_vld <= bus_trn | (str_vld & ~pkt_end); // packet byte counter always @ (posedge clk, posedge rst) -if (rst) pkt_cnt <= 4'd0; +if (rst) pkt_cnt <= '0; else if (str_trn) pkt_cnt <= pkt_cnt + 3'd1; // packet byte counter end diff --git a/test_regress/t/t_udp_noname.out b/test_regress/t/t_udp_noname.out new file mode 100644 index 000000000..c82b2ceaf --- /dev/null +++ b/test_regress/t/t_udp_noname.out @@ -0,0 +1,4 @@ +%Error: t/t_udp_noname.v:15:9: syntax error, unexpected '(', expecting IDENTIFIER + 15 | udp (o, a); + | ^ +%Error: Exiting due to diff --git a/test_regress/t/t_udp_noname.pl b/test_regress/t/t_udp_noname.pl index cf8db6e7e..1de24403a 100755 --- a/test_regress/t/t_udp_noname.pl +++ b/test_regress/t/t_udp_noname.pl @@ -9,14 +9,15 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di # SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 scenarios(simulator => 1); -$Self->{vlt_all} and unsupported("Verilator unsupported, bug468"); compile( + expect_filename => $Self->{golden_filename}, + fails => $Self->{vlt_all}, # Verilator unsupported, bug468" ); -execute( - check_finished => 1, - ); +#execute( +# check_finished => 1, +# ); ok(1); 1; diff --git a/test_regress/t/t_var_static.out b/test_regress/t/t_var_static.out new file mode 100644 index 000000000..3103c2e9b --- /dev/null +++ b/test_regress/t/t_var_static.out @@ -0,0 +1,22 @@ +%Error: t/t_var_static.v:20:7: Unsupported: Static in this context + 20 | static int st = 2; st++; return st; + | ^~~~~~ +%Error: t/t_var_static.v:26:13: Unsupported: Static in this context + 26 | function static int f_st_no (); + | ^~~~~~ +%Error: t/t_var_static.v:29:13: Unsupported: Static in this context + 29 | function static int f_st_st (); + | ^~~~~~ +%Error: t/t_var_static.v:30:7: Unsupported: Static in this context + 30 | static int st = 2; st++; return st; + | ^~~~~~ +%Error: t/t_var_static.v:32:13: Unsupported: Static in this context + 32 | function static int f_st_au (); + | ^~~~~~ +%Error: t/t_var_static.v:40:7: Unsupported: Static in this context + 40 | static int st = 2; st++; return st; + | ^~~~~~ +%Error: t/t_var_static.v:73:7: Unsupported: Static in this context + 73 | static int ist2; + | ^~~~~~ +%Error: Exiting due to diff --git a/test_regress/t/t_var_static.pl b/test_regress/t/t_var_static.pl index 0194e8e7d..1676c3883 100755 --- a/test_regress/t/t_var_static.pl +++ b/test_regress/t/t_var_static.pl @@ -9,14 +9,15 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di # SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 scenarios(simulator => 1); -$Self->{vlt_all} and unsupported("Verilator unsupported, bug546"); compile( + expect_filename => $Self->{golden_filename}, + fails => $Self->{vlt_all} # Verilator unsupported, bug546 ); -execute( - check_finished => 1, - ); +#execute( +# check_finished => 1, +# ); ok(1); 1;