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

Tests: Check std:: package for mailbox/process/semaphore

Browse Source
This commit is contained in:
Wilson Snyder 2022-10-22 10:58:10 -04:00
parent fcf0d03cd4
commit 2df886b2b0
8 changed files with 117 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
test_regress/t/t_mailbox_std.out Normal file
View File

@ -0,0 +1,11 @@
%Error: t/t_mailbox.pl:1:1: syntax error, unexpected '#'
1 | #!/usr/bin/env perl
| ^
%Error-UNSUPPORTED: t/t_mailbox.pl:2:19: Unsupported: Verilog 2001-config reserved word not implemented: 'use'
2 | if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
| ^~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_mailbox.pl:3:47: Unsupported: SystemVerilog 2005 reserved word not implemented: 'expect'
3 | # DESCRIPTION: Verilator: Verilog Test driver/expect definition
| ^~~~~~
%Error: Exiting due to

26
test_regress/t/t_mailbox_std.pl Executable file
View File

@ -0,0 +1,26 @@
#!/usr/bin/env perl
if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
#
# Copyright 2020 by Wilson Snyder. This program is free software; you
# can redistribute it and/or modify it under the terms of either the GNU
# Lesser General Public License Version 3 or the Perl Artistic License
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(simulator => 1);
top_filename("t/t_mailbox.pl");
compile(
v_flags2 => ["+define+T_MAILBOX+std::mailbox"],
fails => $Self->{vlt_all},
expect_filename => $Self->{golden_filename},
);
execute(
check_finished => 1,
) if !$Self->{vlt_all};
ok(1);
1;

12
test_regress/t/t_process_bad.out
View File

@ -1,10 +1,10 @@
%Error: t/t_process.v:22:4: Can't find typedef: 'process'
22 | process p;
%Error: t/t_process_bad.v:8:4: Can't find typedef: 'process'
8 | process p;
| ^~~~~~~
%Error-UNSUPPORTED: t/t_process.v:26:20: Unsupported: 'process'
26 | p = process::self();
%Error-UNSUPPORTED: t/t_process_bad.v:12:20: Unsupported: 'process'
12 | p = process::self();
| ^~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error: Internal Error: t/t_process.v:26:11: ../V3LinkDot.cpp:#: Bad package link
26 | p = process::self();
%Error: Internal Error: t/t_process_bad.v:12:11: ../V3LinkDot.cpp:#: Bad package link
12 | p = process::self();
| ^~~~~~~

2
test_regress/t/t_process_bad.pl
View File

@ -10,8 +10,6 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
scenarios(vlt => 1);
top_filename("t_process.v");
lint(
verilator_flags2 => ["--xml-only"],
fails => 1,

11
test_regress/t/t_process_std.out Normal file
View File

@ -0,0 +1,11 @@
%Error: t/t_process.pl:1:1: syntax error, unexpected '#'
1 | #!/usr/bin/env perl
| ^
%Error-UNSUPPORTED: t/t_process.pl:2:19: Unsupported: Verilog 2001-config reserved word not implemented: 'use'
2 | if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
| ^~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_process.pl:3:47: Unsupported: SystemVerilog 2005 reserved word not implemented: 'expect'
3 | # DESCRIPTION: Verilator: Verilog Test driver/expect definition
| ^~~~~~
%Error: Exiting due to

26
test_regress/t/t_process_std.pl Executable file
View File

@ -0,0 +1,26 @@
#!/usr/bin/env perl
if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
#
# Copyright 2020 by Wilson Snyder. This program is free software; you
# can redistribute it and/or modify it under the terms of either the GNU
# Lesser General Public License Version 3 or the Perl Artistic License
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(simulator => 1);
top_filename("t/t_process.pl");
compile(
v_flags2 => ["+define+T_PROCESS+std::process"],
fails => $Self->{vlt_all},
expect_filename => $Self->{golden_filename},
);
execute(
check_finished => 1,
) if !$Self->{vlt_all};
ok(1);
1;

11
test_regress/t/t_semaphore_std.out Normal file
View File

@ -0,0 +1,11 @@
%Error: t/t_semaphore.pl:1:1: syntax error, unexpected '#'
1 | #!/usr/bin/env perl
| ^
%Error-UNSUPPORTED: t/t_semaphore.pl:2:19: Unsupported: Verilog 2001-config reserved word not implemented: 'use'
2 | if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
| ^~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_semaphore.pl:3:47: Unsupported: SystemVerilog 2005 reserved word not implemented: 'expect'
3 | # DESCRIPTION: Verilator: Verilog Test driver/expect definition
| ^~~~~~
%Error: Exiting due to

26
test_regress/t/t_semaphore_std.pl Executable file
View File

@ -0,0 +1,26 @@
#!/usr/bin/env perl
if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
#
# Copyright 2020 by Wilson Snyder. This program is free software; you
# can redistribute it and/or modify it under the terms of either the GNU
# Lesser General Public License Version 3 or the Perl Artistic License
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(simulator => 1);
top_filename("t/t_semaphore.pl");
compile(
v_flags2 => ["+define+T_SEMAPHORE+std::semaphore"],
fails => $Self->{vlt_all},
expect_filename => $Self->{golden_filename},
);
execute(
check_finished => 1,
) if !$Self->{vlt_all};
ok(1);
1;