Tests: Converting tests to golden files for bug1305.

Signed-off-by: Wilson Snyder <wsnyder@wsnyder.org>
This commit is contained in:
Todd Strader 2019-05-02 18:45:32 -04:00 committed by Wilson Snyder
parent 1ff55c20e0
commit 354f107fed
80 changed files with 147 additions and 140 deletions

View File

@ -0,0 +1,2 @@
%Error: t/t_array_pattern_bad.v:23: Assignment pattern key 'valids' not found as member
%Error: Exiting due to

View File

@ -11,9 +11,7 @@ scenarios(simulator => 1);
compile(
fails => 1,
expect =>
q{%Error: t/t_array_pattern_bad.v:23: Assignment pattern key 'valids' not found as member
.*%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_bitsel_const_bad.v:20: Illegal bit or array select; type does not have a bit range, or bad dimension: type is logic
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
'%Error: t/t_bitsel_const_bad.v:\d+: Illegal bit or array select; type does not have a bit range, or bad dimension: type is logic
.*%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_case_genx_bad.v:13: Use of x/? constant in generate case statement, (no such thing as 'generate casez')
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
'%Error: t/t_case_genx_bad.v:\d+: Use of x/\? constant in generate case statement, \(no such thing as \'generate casez\'\)
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-WIDTHCONCAT: t/t_concat_large_bad.v:8: More than a 8k bit replication is probably wrong: 32768
%Warning-WIDTHCONCAT: Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
'%Warning-WIDTHCONCAT: t/t_concat_large_bad.v:\d+: More than a 8k bit replication is probably wrong: 32768
%Warning-WIDTHCONCAT: Use .*
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_dpi_openreg_bad.v:13: Unsized/open arrays ('[]') are only supported in DPI imports
%Error: t/t_dpi_openreg_bad.v:14: Unsized/open arrays ('[]') are only supported in DPI imports
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => $Self->{vlt_all},
expect =>
'%Error: t/t_dpi_openreg_bad.v:\d+: Unsized/open arrays \(\'\[\]\'\) are only supported in DPI imports
%Error: t/t_dpi_openreg_bad.v:\d+: Unsized/open arrays \(\'\[\]\'\) are only supported in DPI imports
%Error: Exiting due to .*'
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_enum_overlap_bad.v:11: Overlapping enumeration value: e1b
%Error: t/t_enum_overlap_bad.v:9: ... Location of original declaration
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(vlt => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
'%Error: t/t_enum_overlap_bad.v:\d+: Overlapping enumeration value: e1b
%Error: t/t_enum_overlap_bad.v:\d+: ... Location of original declaration
%Error: Exiting due to',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-WIDTH: t/t_flag_werror.v:9: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits.
%Warning-WIDTH: Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -14,10 +14,7 @@ top_filename("t/t_flag_werror.v");
compile(
v_flags2 => ["--lint-only"],
fails => $Self->{vlt_all},
expect =>
q{%Warning-WIDTH: t/t_flag_werror.v:\d+: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS.s CONST '6'h2e' generates 6 bits.
%Warning-WIDTH: Use .* and lint_on around source to disable this message.
%Error: Exiting due to},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error-WIDTH: t/t_flag_werror.v:9: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits.
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
v_flags2 => ["--lint-only"],
fails => 1,
verilator_flags => [qw(-cc -Werror-WIDTH)],
expect =>
q{%Error-WIDTH: t/t_flag_werror.v:\d+: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS.s CONST '6'h2e' generates 6 bits.
%Error: Exiting due to},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Warning-WIDTH: t/t_flag_wfatal.v:9: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits.
%Warning-WIDTH: Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.

View File

@ -17,10 +17,7 @@ compile(
verilator_make_gcc => 0,
make_top_shell => 0,
make_main => 0,
expect =>
q{%Warning-WIDTH: t/t_flag_wfatal.v:\d+: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS.s CONST '6'h2e' generates 6 bits.
%Warning-WIDTH: Use .* and lint_on around source to disable this message.
},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_func_bad2.v:7: Unsupported: Recursive function or task call
%Error: Exiting due to

View File

@ -11,9 +11,7 @@ scenarios(simulator => 1);
compile(
fails => $Self->{vlt_all},
expect =>
'%Error: t/t_func_bad2.v:\d+: Unsupported: Recursive function or task call
%Error: Exiting due to',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_func_wide_out_bad.v:16: Unsupported: Function output argument 'data' requires 4352 bits, but connection's VARREF 'msg' generates 4350 bits.
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
q{%Error: t/t_func_wide_out_bad.v:\d+: Unsupported: Function output argument 'data' requires 4352 bits, but connection's VARREF 'msg' generates 4350 bits.
%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_gen_var_bad.v:9: Non-genvar used in generate for: i
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
'.*%Error: t/t_gen_var_bad.v:\d+: Non-genvar used in generate for: i
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_inst_array_bad.v:18: Input port connection 'onebit' as part of a module instance array requires 1 or 8 bits, but connection's VARREF 'onebitbad' generates 9 bits.
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
q{%Error: t/t_inst_array_bad.v:\d+: Input port connection 'onebit' as part of a module instance array requires 1 or 8 bits, but connection's VARREF 'onebitbad' generates 9 bits.
%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_inst_misarray_bad.v:16: VARREF 't.foo' is not an unpacked array, but is in an unpacked array context
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
verilator_make_gcc => 0,
make_top_shell => 0,
make_main => 0,
expect =>
q{%Error: t/t_inst_misarray_bad.v:16: VARREF 't.foo' is not an unpacked array, but is in an unpacked array context
%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);

View File

@ -0,0 +1,2 @@
%Error: t/t_inst_recurse2_bad.v:17: Unsupported: Identically recursive module (module instantiates itself, without changing parameters): looped
%Error: Exiting due to

View File

@ -11,9 +11,7 @@ scenarios(simulator => 1);
compile(
fails => 1,
expect =>
'.*%Error: t/t_inst_recurse2_bad.v:\d+: Unsupported: Identically recursive module \(module instantiates itself, without changing parameters\): looped
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_interface_array_bad.v:22: Expecting expression to be constant, but variable isn't const: bar
%Error: t/t_interface_array_bad.v:22: Could not expand constant selection inside dotted reference: bar
%Error: Exiting due to

View File

@ -11,10 +11,7 @@ scenarios(simulator => 1);
compile(
fails => 1,
expect =>
'%Error: t/t_interface_array_bad.v:\d+: Expecting expression to be constant, but variable isn\'t const: bar
%Error: t/t_interface_array_bad.v:\d+: Could not expand constant selection inside dotted reference: bar
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_interface_mismodport_bad.v:35: Can't find definition of 'bad' in dotted signal: isub.bad
%Error: Known scopes under 'bad': <no cells found>
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
make_top_shell => 0,
make_main => 0,
fails => 1,
expect =>
'%Error: t/t_interface_mismodport_bad.v:\d+: Can\'t find definition of \'bad\' in dotted signal: isub.bad
.*%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_interface_param_another_bad.v:8: Parameter-resolved constants must not use dotted references: dummy
%Error: Exiting due to

View File

@ -11,9 +11,7 @@ scenarios(simulator => 1);
compile(
fails => 1,
expect =>
q{%Error: t/t_interface_param_another_bad.v:\d+: Parameter-resolved constants must not use dotted references: dummy
%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_interface_wrong_bad.v:31: Port 'foo_port' expects 'foo_intf' interface but pin connects 'bar_intf' interface
%Error: Exiting due to

View File

@ -11,8 +11,7 @@ scenarios(simulator => 1);
compile(
fails => 1,
expect =>
q{%Error: t/t_interface_wrong_bad.v:\d+: Port 'foo_port' expects 'foo_intf' interface but pin connects 'bar_intf' interface},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,6 @@
%Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:28: Procedural assignment to wire, perhaps intended var (IEEE 2017 6.5): temp1
%Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:30: Procedural assignment to wire, perhaps intended var (IEEE 2017 6.5): temp1
%Warning-ALWCOMBORDER: t/t_lint_always_comb_bad.v:31: Always_comb variable driven after use: mid
%Warning-ALWCOMBORDER: Use "/* verilator lint_off ALWCOMBORDER */" and lint_on around source to disable this message.
%Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:45: Procedural assignment to wire, perhaps intended var (IEEE 2017 6.5): temp1_d1r
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
make_top_shell => 0,
make_main => 0,
fails => 1,
expect =>
'%Warning-ALWCOMBORDER: t/t_lint_always_comb_bad.v:\d+: Always_comb variable driven after use: mid
.*%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-IFDEPTH: t/t_lint_ifdepth_bad.v:21: Deep 'if' statement; suggest unique/priority to avoid slow logic
%Warning-IFDEPTH: Use "/* verilator lint_off IFDEPTH */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -15,10 +15,7 @@ compile(
verilator_make_gcc => 0,
make_top_shell => 0,
make_main => 0,
expect =>
'%Warning-IFDEPTH: t/t_lint_ifdepth_bad.v:\d+: Deep \'if\' statement; suggest unique/priority to avoid slow logic
%Warning-IFDEPTH: Use .* to disable this message.
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_lint_modport_dir_bad.v:25: Attempt to drive input-only modport: signal
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
verilator_make_gcc => 0,
make_top_shell => 0,
make_main => 0,
expect =>
'%Error: t/t_lint_modport_dir_bad.v:\d+: Attempt to drive input-only modport: signal
%Error: Exiting due to .*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,4 @@
%Warning-UNUSED: t/t_lint_once_bad.v:18: Signal is not driven, nor used: unus1
%Warning-UNUSED: Use "/* verilator lint_off UNUSED */" and lint_on around source to disable this message.
%Warning-UNUSED: t/t_lint_once_bad.v:18: Signal is not driven, nor used: unus2
%Error: Exiting due to

View File

@ -15,11 +15,7 @@ compile(
make_top_shell => 0,
make_main => 0,
fails => 1,
expect =>
'%Warning-UNUSED: t/t_lint_once_bad.v:\d+: Signal is not driven, nor used: unus1
%Warning-UNUSED: Use .* to disable this message.
%Warning-UNUSED: t/t_lint_once_bad.v:\d+: Signal is not driven, nor used: unus2
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-WIDTH: t/t_lint_repeat_bad.v:17: Operator ASSIGNW expects 1 bits on the Assign RHS, but Assign RHS's VARREF 'a' generates 2 bits.
%Warning-WIDTH: Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
q{%Warning-WIDTH: t/t_lint_repeat_bad.v:17: Operator ASSIGNW expects 1 bits on the Assign RHS, but Assign RHS's VARREF 'a' generates 2 bits.
%Warning-WIDTH: Use \"\/\* verilator lint_off WIDTH \*\/\" and lint_on around source to disable this message.
%Error: Exiting due to 1 warning}
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-WIDTH: t/t_lint_restore_bad.v:18: Operator ASSIGN expects 5 bits on the Assign RHS, but Assign RHS's CONST '64'h1' generates 64 bits.
%Warning-WIDTH: Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(vlt_all => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
q{.*%Warning-WIDTH: t/t_lint_restore_bad.v:\d+: Operator ASSIGN expects 5 bits on the Assign RHS, but Assign RHS's CONST '64'h1' generates 64 bits.
%Warning-WIDTH: Use .*
%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_param_circ_bad.v:10: Variable's initial value is circular: X
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
verilator_make_gcc => 0,
make_top_shell => 0,
make_main => 0,
expect =>
'%Error: t/t_param_circ_bad.v:\d+: Variable\'s initial value is circular: X
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,5 @@
%Warning-WIDTHCONCAT: t/t_param_concat.v:18: Unsized numbers/parameters not allowed in concatenations.
%Warning-WIDTHCONCAT: Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message.
%Warning-WIDTHCONCAT: t/t_param_concat.v:18: Unsized numbers/parameters not allowed in replications.
%Warning-WIDTHCONCAT: t/t_param_concat.v:19: Unsized numbers/parameters not allowed in replications.
%Error: Exiting due to

View File

@ -13,11 +13,7 @@ top_filename("t/t_param_concat.v");
compile(
fails => 1,
expect =>
'%Warning-WIDTHCONCAT: t/t_param_concat.v:\d+: Unsized numbers/parameters not allowed in concatenations.
%Warning-WIDTHCONCAT: Use "/\* verilator lint_off WIDTHCONCAT \*/" and lint_on around source to disable this message.
%Warning-WIDTHCONCAT: t/t_param_concat.v:\d+: Unsized numbers/parameters not allowed in replications.
.*%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-SELRANGE: t/t_param_sel_range.v:40: Selection index out of range: 7:7 outside 4:0
%Warning-SELRANGE: Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -17,10 +17,7 @@ compile(
verilator_make_gcc => 0,
make_top_shell => 0,
make_main => 0,
expect =>
'%Warning-SELRANGE: t/t_param_sel_range.v:\d+: Selection index out of range: 7:7 outside 4:0
%Warning-SELRANGE: Use .* to disable this message.
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,4 @@
%Error: t/t_past_bad.v:11: $past tick value must be constant and >= 1 (IEEE 2017 16.9.3)
%Warning-TICKCOUNT: t/t_past_bad.v:12: $past tick value of 10000 may have a large performance cost
%Warning-TICKCOUNT: Use "/* verilator lint_off TICKCOUNT */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -11,10 +11,7 @@ scenarios(vlt_all => 1);
compile(
fails => 1,
expect =>
'%Error: t/t_past_bad.v:\d+:.* \$past tick value must be constant and >= 1 \(IEEE 2017 16.9.3\)
%Warning-TICKCOUNT: t/t_past_bad.v:\d+: \$past tick value of 10000 may have a large performance cost
.*%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-SELRANGE: t/t_select_bad_range2.v:50: Selection index out of range: 3:2 outside 1:0
%Warning-SELRANGE: Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => $Self->{vlt_all},
expect =>
'%Warning-SELRANGE: t/t_select_bad_range2.v:\d+: Selection index out of range: 3:2 outside 1:0
%Warning-SELRANGE: Use .*
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Warning-SELRANGE: t/t_select_bad_range3.v:18: Selection index out of range: 13 outside 12:10
%Warning-SELRANGE: Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message.
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => $Self->{vlt_all},
expect =>
'%Warning-SELRANGE: t/t_select_bad_range3.v:\d+: Selection index out of range: 13 outside 12:10
%Warning-SELRANGE: Use .*
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_select_bad_tri.v:10: Selection index is constantly unknown or tristated: lsb=7'bxxxxxxx width=32'sh47
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(simulator => 1);
compile(
v_flags2 => ["--lint-only"],
fails => $Self->{vlt_all},
expect =>
q{%Error: t/t_select_bad_tri.v:\d+: Selection index is constantly unknown or tristated: lsb=7'bxxxxxxx width=32'sh47
%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_struct_init.v:53: Assignment pattern contains duplicate entry: b1
%Error: Exiting due to

View File

@ -14,9 +14,7 @@ top_filename("t/t_struct_init.v");
compile(
v_flags2 => ['+define+T_STRUCT_INIT_BAD'],
fails => 1,
expect =>
'%Error: t/t_struct_init.v:\d+: Assignment pattern contains duplicate entry: b1
%Error: Exiting due to.*'
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_struct_notfound_bad.v:12: Member 'nfmember' not found in structure
%Error: Exiting due to

View File

@ -11,9 +11,7 @@ scenarios(simulator => 1);
compile(
fails => 1,
expect =>
'%Error: t/t_struct_notfound_bad.v:\d+: Member \'nfmember\' not found in structure
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_tri_pull2_bad.v:9: Unsupported: Conflicting pull directions.
%Error: t/t_tri_pull2_bad.v:19: ... Location of conflicting pull.
%Error: Exiting due to

View File

@ -11,10 +11,7 @@ scenarios(simulator => 1);
compile(
fails => $Self->{vlt_all},
expect =>
'%Error: t/t_tri_pull2_bad.v:\d+: Unsupported: Conflicting pull directions.
%Error: t/t_tri_pull2_bad.v:\d+: ... Location of conflicting pull.
%Error: Exiting due to',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_tri_pull_bad.v:10: Unsupported: Conflicting pull directions.
%Error: t/t_tri_pull_bad.v:9: ... Location of conflicting pull.
%Error: Exiting due to

View File

@ -11,10 +11,7 @@ scenarios(simulator => 1);
compile(
fails => $Self->{vlt_all},
expect =>
'%Error: t/t_tri_pull_bad.v:\d+: Unsupported: Conflicting pull directions.
%Error: t/t_tri_pull_bad.v:\d+: ... Location of conflicting pull.
%Error: Exiting due to',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,2 @@
%Error: t/t_var_const_bad.v:16: Assigning to const variable: five
%Error: Exiting due to

View File

@ -12,9 +12,7 @@ scenarios(vlt_all => 1);
compile(
v_flags2 => ["--lint-only"],
fails => 1,
expect =>
'%Error: t/t_var_const_bad.v:\d+: Assigning to const variable: five
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error-ASSIGNIN: t/t_var_in_assign_bad.v:11: Assigning to input/const variable: value
%Error-ASSIGNIN: t/t_var_in_assign_bad.v:20: Assigning to input/const variable: valueSub
%Error: Exiting due to

View File

@ -12,10 +12,7 @@ scenarios(vlt => 1);
compile(
v_flags2 => ["--lint-only --Mdir obj_lint_only"],
fails => 1,
expect =>
'%Error-ASSIGNIN: t/t_var_in_assign_bad.v:\d+: Assigning to input/const variable: value
%Error-ASSIGNIN: t/t_var_in_assign_bad.v:\d+: Assigning to input/const variable: valueSub
%Error: Exiting due to.*',
expect_filename => $Self->{golden_filename},
);
(!-d "obj_lint_only") or error("%Error: lint-only shouldn't make output directory");

View File

@ -0,0 +1,2 @@
%Error: t/t_var_ref_bad1.v:13: Ref connection 'bad_sub_ref' requires matching types; ref requires BASICDTYPE 'real' but connection is BASICDTYPE 'bit'.
%Error: Exiting due to

View File

@ -15,9 +15,7 @@ compile(
make_top_shell => 0,
make_main => 0,
fails => 1,
expect =>
q{%Error: t/t_var_ref_bad1.v:\d+: Ref connection 'bad_sub_ref' requires matching types; ref requires BASICDTYPE 'real' but connection is BASICDTYPE 'bit'.
.*%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);

View File

@ -0,0 +1,3 @@
%Error: t/t_var_ref_bad2.v:12: Assigning to const ref variable: bad_const_set
%Error: t/t_var_ref_bad2.v:22: Ref argument requires matching types; port 'int_ref' requires VAR 'int_ref' but connection is VARREF 'bad_non_int'.
%Error: Exiting due to

View File

@ -15,10 +15,7 @@ compile(
make_top_shell => 0,
make_main => 0,
fails => 1,
expect =>
q{%Error: t/t_var_ref_bad2.v:\d+: Assigning to const ref variable: bad_const_set
%Error: t/t_var_ref_bad2.v:\d+: Ref argument requires matching types; port 'int_ref' requires VAR 'int_ref' but connection is VARREF 'bad_non_int'.
.*%Error: Exiting due to.*},
expect_filename => $Self->{golden_filename},
);
ok(1);