luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tests: Add elaboration info test.

This commit is contained in:
Wilson Snyder 2019-08-04 21:31:06 -04:00
parent 429f463032
commit 88b87429dc
4 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test_regress/t/t_assert_comp.v
View File

@ -6,6 +6,7 @@
module t (/*AUTOARG*/); module t (/*AUTOARG*/);
if (0) begin if (0) begin
$info("User compile-time info");
$warning("User compile-time warning"); $warning("User compile-time warning");
$error("User compile-time error"); $error("User compile-time error");
end end

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

@ -0,0 +1,5 @@
[0] -Info: t_assert_comp_bad.v:9: Assertion failed in top.t.genblk1: User compile-time info
[0] %Warning: t_assert_comp_bad.v:10: Assertion failed in top.t.genblk1: User compile-time warning
[0] %Error: t_assert_comp_bad.v:11: Assertion failed in top.t.genblk1: User compile-time error
%Error: t/t_assert_comp_bad.v:11: Verilog $stop
Aborting...

6
test_regress/t/t_assert_comp_bad.pl
View File

@ -12,15 +12,13 @@ scenarios(simulator => 1);
compile( compile(
verilator_flags2 => ['--assert'], verilator_flags2 => ['--assert'],
nc_flags2 => ['+assert'], nc_flags2 => ['+assert'],
vcs_flags2 => ['-assert svaext'],
); );
execute( execute(
check_finished => 0, check_finished => 0,
fails => 1, fails => 1,
expect => expect_filename => $Self->{golden_filename},
'.*%Warning: t_assert_comp_bad.v:\d+: Assertion failed in top.t.genblk1: User compile-time warning
.*%Error: t_assert_comp_bad.v:\d+: Assertion failed in top.t.genblk1: User compile-time error'
); );
ok(1); ok(1);

1
test_regress/t/t_assert_comp_bad.v
View File

@ -6,6 +6,7 @@
module t (/*AUTOARG*/); module t (/*AUTOARG*/);
if (1) begin if (1) begin
$info("User compile-time info");
$warning("User compile-time warning"); $warning("User compile-time warning");
$error("User compile-time error"); $error("User compile-time error");
end end