github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-01 04:07:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tests: Check output from some unsupported tests.

Browse Source
This commit is contained in:
Wilson Snyder 2020-04-24 08:22:19 -04:00
parent 10b4678ee6
commit 3b37b5b92d
11 changed files with 61 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test_regress/t/t_array_packed_write_read.v
View File

@ -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

7
test_regress/t/t_iff.out Normal file
View File

@ -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

9
test_regress/t/t_iff.pl
View File

@ -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;

5
test_regress/t/t_param_avec.out Normal file
View File

@ -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

9
test_regress/t/t_param_avec.pl
View File

@ -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;

2
test_regress/t/t_sv_bus_mux_demux.v
View File

@ -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

2
test_regress/t/t_sv_bus_mux_demux/sv_bus_mux_demux_mux.sv
View File

@ -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

4
test_regress/t/t_udp_noname.out Normal file
View File

@ -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

9
test_regress/t/t_udp_noname.pl
View File

@ -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;

22
test_regress/t/t_var_static.out Normal file
View File

@ -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

9
test_regress/t/t_var_static.pl
View File

@ -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;