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

Tests: Default to check_finished=>1

Browse Source
This commit is contained in:
Wilson Snyder 2024-08-24 19:27:59 -04:00
parent f0cd6dd95c
commit a9635aaa2c
1511 changed files with 76 additions and 1578 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test_regress/driver.pl
View File

@ -1322,6 +1322,8 @@ sub execute {
$ENV{VERILATOR_SOLVER} = "test.pl-file-needs-have_solver()-call"
if !$self->{_have_solver_called};
$param{check_finished} = 1 if !defined $param{check_finished} && !$param{fails};
my $run_env = $param{run_env};
$run_env .= ' ' if $run_env;
@ -1848,7 +1850,7 @@ sub _run {
# Finished?
if ($param{check_finished} && $wholefile !~ /\*\-\* All Finished \*\-\*/) {
next if $moretry;
$self->error("Missing All Finished\n");
$self->error("Missing '*-* All Finished *-*'\n");
}
if ($param{expect}) {
# Strip debugging comments

1
test_regress/t/t_EXAMPLE.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_a1_first_cc.pl
View File

@ -25,7 +25,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_a2_first_sc.pl
View File

@ -23,7 +23,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_combdly.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_dly.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_noreorder.pl
View File

@ -24,7 +24,6 @@ file_grep_any(\@files, qr/dly__t__DOT__v1/i);
file_grep_any(\@files, qr/dly__t__DOT__v2/i);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_nosplit.pl
View File

@ -19,7 +19,6 @@ if ($Self->{vlt_all}) {
}
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_reorder.pl
View File

@ -28,7 +28,6 @@ foreach my $file (
}
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_split.pl
View File

@ -19,7 +19,6 @@ if ($Self->{vlt_all}) {
}
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_split_rst.pl
View File

@ -20,7 +20,6 @@ if ($Self->{vlt_all}) {
}
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_alw_splitord.pl
View File

@ -19,7 +19,6 @@ if ($Self->{vlt_all}) {
}
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_compare.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_in_struct.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_index_increment.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_mda.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_method.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_method_map.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
) if !$Self->{vlt_all};
ok(1);

1
test_regress/t/t_array_method_unsup.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
) if !$Self->{vlt_all};
ok(1);

1
test_regress/t/t_array_packed_endian.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_packed_sysfunct.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_packed_write_read.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_pattern_2d.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_pattern_packed.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_pattern_unpacked.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_query.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_query_with.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_rev.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_type_methods.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_array_unpacked_public.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_basic.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_basic_cover.pl
View File

@ -17,7 +17,6 @@ compile(
);
execute(
check_finished => 1,
);
#Needs work

1
test_regress/t/t_assert_basic_off.pl
View File

@ -17,7 +17,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_casez.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_comp.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_cover.pl
View File

@ -18,7 +18,6 @@ compile(
);
execute(
check_finished => 1,
);
if ($Self->{nc}) {

1
test_regress/t/t_assert_cover_off.pl
View File

@ -17,7 +17,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

117
test_regress/t/t_assert_ctl_arg.out
View File

@ -2,12 +2,12 @@
Running all asserts at: t/t_assert_ctl_arg.v:49
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:49
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
-Info: t/t_assert_ctl_arg.v:135: Verilog $stop, ignored due to +verilator+error+limit
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
-Info: t/t_assert_ctl_arg.v:137: Verilog $stop, ignored due to +verilator+error+limit
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:49
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:49
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:49
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:49
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:49
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:49
@ -30,11 +30,11 @@ Running all asserts at: t/t_assert_ctl_arg.v:56
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:56
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:56
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:56
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:56
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:56
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:56
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:56
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:56
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:56
@ -57,11 +57,11 @@ Testing assume_simple_immediate at t/t_assert_ctl_arg.v:63
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:63
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:63
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:63
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:63
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:63
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:63
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:63
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:63
Passed 'top.t.cover_final_deferred_immediate_stmt_63' at t/t_assert_ctl_arg.v:63
@ -87,27 +87,27 @@ Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:69
Running all asserts at: t/t_assert_ctl_arg.v:71
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:71
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:71
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:71
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:71
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:71
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:71
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:71
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:71
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:71
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:71
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:71
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:71
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:71
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:71
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:71
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:71
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:71
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:71
Passed 'top.t.cover_simple_immediate_stmt_71' at t/t_assert_ctl_arg.v:71
@ -126,19 +126,19 @@ Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:73
Running all asserts at: t/t_assert_ctl_arg.v:76
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:76
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:76
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:76
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:76
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:76
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:76
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:76
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:76
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:76
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:76
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:76
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:76
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:76
@ -149,27 +149,27 @@ Passed 'top.t.cover_observed_deferred_immediate_stmt_76' at t/t_assert_ctl_arg.v
Running all asserts at: t/t_assert_ctl_arg.v:78
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:78
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:78
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:78
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:78
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:78
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:78
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:78
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:78
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:78
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:78
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:78
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:78
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:78
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:78
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:78
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:78
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:78
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:78
Passed 'top.t.cover_simple_immediate_stmt_78' at t/t_assert_ctl_arg.v:78
@ -179,11 +179,11 @@ Passed 'top.t.cover_final_deferred_immediate_stmt_78' at t/t_assert_ctl_arg.v:78
Running all asserts at: t/t_assert_ctl_arg.v:80
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:80
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:80
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:80
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:80
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:80
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:80
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:80
@ -195,11 +195,11 @@ Passed 'top.t.cover_simple_immediate_stmt_80' at t/t_assert_ctl_arg.v:80
Running all asserts at: t/t_assert_ctl_arg.v:82
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:82
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:82
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:82
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:82
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:82
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:82
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:82
@ -220,11 +220,11 @@ Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:84
Running all asserts at: t/t_assert_ctl_arg.v:86
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:86
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:86
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:86
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:86
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:86
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:86
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:86
@ -245,27 +245,27 @@ Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:88
Running all asserts at: t/t_assert_ctl_arg.v:90
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:90
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:90
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:90
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:90
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:90
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:90
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:90
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:90
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:90
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:90
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:90
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:90
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:90
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:90
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:90
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:90
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:90
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:90
Passed 'top.t.cover_simple_immediate_stmt_90' at t/t_assert_ctl_arg.v:90
@ -284,17 +284,17 @@ Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:92
Running all asserts at: t/t_assert_ctl_arg.v:97
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:97
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:97
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:97
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:97
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:97
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:97
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:97
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:97
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:97
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:97
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:97
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:97
@ -315,34 +315,34 @@ Running all asserts at: t/t_assert_ctl_arg.v:103
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:103
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:103
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:103
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:103
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:103
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:103
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:103
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:103
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:103
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:103
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:103
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:103
==========
Running all asserts at: t/t_assert_ctl_arg.v:106
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:106
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:106
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:106
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:106
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:106
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:106
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:106
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:106
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:106
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:106
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:106
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:106
@ -353,27 +353,27 @@ Passed 'top.t.cover_final_deferred_immediate_stmt_106' at t/t_assert_ctl_arg.v:1
Running all asserts at: t/t_assert_ctl_arg.v:108
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:108
[0] %Error: t_assert_ctl_arg.v:135: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:137: Assertion failed in top.$unit.run_simple_immediate.assert_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_else' at t/t_assert_ctl_arg.v:108
Failed 'top.$unit.run_simple_immediate.assert_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:108
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:108
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:108
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:108
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:108
[0] %Error: t_assert_ctl_arg.v:149: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:151: Assertion failed in top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:108
Failed 'top.$unit.run_observed_deferred_immediate.assert_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:108
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:108
[0] %Error: t_assert_ctl_arg.v:155: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:157: Assertion failed in top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_else' at t/t_assert_ctl_arg.v:108
Failed 'top.$unit.run_observed_deferred_immediate.assume_observed_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:108
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:108
[0] %Error: t_assert_ctl_arg.v:163: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:165: Assertion failed in top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:108
Failed 'top.$unit.run_final_deferred_immediate.assert_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:108
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:108
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:108
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:108
Passed 'top.t.cover_simple_immediate_stmt_108' at t/t_assert_ctl_arg.v:108
@ -393,23 +393,24 @@ Running all asserts at: t/t_assert_ctl_arg.v:112
==========
Testing assert_simple_immediate at t/t_assert_ctl_arg.v:112
Testing assume_simple_immediate at t/t_assert_ctl_arg.v:112
[0] %Error: t_assert_ctl_arg.v:141: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:143: Assertion failed in top.$unit.run_simple_immediate.assume_simple_immediate: 'assert' failed.
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_else' at t/t_assert_ctl_arg.v:112
Failed 'top.$unit.run_simple_immediate.assume_simple_immediate_stmt_else' at t/t_assert_ctl_arg.v:112
Testing assert_observed_deferred_immediate at t/t_assert_ctl_arg.v:112
Testing assume_observed_deferred_immediate at t/t_assert_ctl_arg.v:112
Testing assert_final_deferred_immediate at t/t_assert_ctl_arg.v:112
Testing assume_final_deferred_immediate at t/t_assert_ctl_arg.v:112
[0] %Error: t_assert_ctl_arg.v:169: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
[0] %Error: t_assert_ctl_arg.v:171: Assertion failed in top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate: 'assert' failed.
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_else' at t/t_assert_ctl_arg.v:112
Failed 'top.$unit.run_final_deferred_immediate.assume_final_deferred_immediate_stmt_else' at t/t_assert_ctl_arg.v:112
Passed 'top.t.cover_simple_immediate_stmt_112' at t/t_assert_ctl_arg.v:112
Passed 'top.t.cover_final_deferred_immediate_stmt_112' at t/t_assert_ctl_arg.v:112
Disabling concurrent asserts, time: 10
Enabling concurrent asserts, time: 20
[20] %Error: t_assert_ctl_arg.v:180: Assertion failed in top.t.concurrent.assert_concurrent: 'assert' failed.
Failed 'top.t.concurrent.assert_concurrent_else' at t/t_assert_ctl_arg.v:181
Failed 'top.t.concurrent.assert_concurrent_stmt_else' at t/t_assert_ctl_arg.v:183
[20] %Error: t_assert_ctl_arg.v:185: Assertion failed in top.t.concurrent.assume_concurrent: 'assert' failed.
Failed 'top.t.concurrent.assume_concurrent_else' at t/t_assert_ctl_arg.v:186
Failed 'top.t.concurrent.assume_concurrent_stmt_else' at t/t_assert_ctl_arg.v:188
*-* All Finished *-*
[20] %Error: t_assert_ctl_arg.v:182: Assertion failed in top.t.concurrent.assert_concurrent: 'assert' failed.
Failed 'top.t.concurrent.assert_concurrent_else' at t/t_assert_ctl_arg.v:183
Failed 'top.t.concurrent.assert_concurrent_stmt_else' at t/t_assert_ctl_arg.v:185
[20] %Error: t_assert_ctl_arg.v:187: Assertion failed in top.t.concurrent.assume_concurrent: 'assert' failed.
Failed 'top.t.concurrent.assume_concurrent_else' at t/t_assert_ctl_arg.v:188
Failed 'top.t.concurrent.assume_concurrent_stmt_else' at t/t_assert_ctl_arg.v:190

2
test_regress/t/t_assert_ctl_arg.v
View File

@ -120,6 +120,8 @@ module t (/*AUTOARG*/
#10;
$display("Enabling concurrent asserts, time: %g", $time);
$assertcontrol(ON, CONCURRENT);
$write("*-* All Finished *-*\n");
$finish;
end
endmodule

4
test_regress/t/t_assert_ctl_arg_coverage.out
View File

@ -35,8 +35,8 @@ C 'ft/t_assert_ctl_arg.vl112n40pagev_user/tocover_final_deferred_immed
C 'ft/t_assert_ctl_arg.vl112n43pagev_user/tocover_observed_deferred_immediate_112htop.t.cover_observed_deferred_immediate_112' 0
C 'ft/t_assert_ctl_arg.vl112n45pagev_user/tocover_final_deferred_immediate_stmt_112htop.t.cover_final_deferred_immediate_stmt_112' 1
C 'ft/t_assert_ctl_arg.vl112n48pagev_user/tocover_observed_deferred_immediate_stmt_112htop.t.cover_observed_deferred_immediate_stmt_112' 0
C 'ft/t_assert_ctl_arg.vl190n22pagev_user/concurrentocover_concurrenthtop.t.concurrent.cover_concurrent' 0
C 'ft/t_assert_ctl_arg.vl191n27pagev_user/concurrentocover_concurrent_stmthtop.t.concurrent.cover_concurrent_stmt' 0
C 'ft/t_assert_ctl_arg.vl192n22pagev_user/concurrentocover_concurrenthtop.t.concurrent.cover_concurrent' 0
C 'ft/t_assert_ctl_arg.vl193n27pagev_user/concurrentocover_concurrent_stmthtop.t.concurrent.cover_concurrent_stmt' 0
C 'ft/t_assert_ctl_arg.vl49n31pagev_user/tocover_simple_immediate_49htop.t.cover_simple_immediate_49' 1
C 'ft/t_assert_ctl_arg.vl49n36pagev_user/tocover_simple_immediate_stmt_49htop.t.cover_simple_immediate_stmt_49' 1
C 'ft/t_assert_ctl_arg.vl49n39pagev_user/tocover_final_deferred_immediate_49htop.t.cover_final_deferred_immediate_49' 0

1
test_regress/t/t_assert_ctl_concurrent.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_ctl_concurrent_noinl.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_disable_iff.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_disabled.pl
View File

@ -15,7 +15,6 @@ top_filename("t/t_assert_on.v");
compile();
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_elab.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_iff.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_implication.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_named_property.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_past.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_property.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_property_untyped.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_question.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_sampled.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_synth.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_synth_off.pl
View File

@ -21,7 +21,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assert_unique_case.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
expect_filename => $Self->{golden_filename},
);

1
test_regress/t/t_assign_expr.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assign_inline.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assign_slice_overflow.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assign_slice_overflow_ox.pl
View File

@ -17,7 +17,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

2
test_regress/t/t_assigndly_dynamic.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
compile(
@ -23,7 +22,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc2.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc_compare.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc_method.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc_ref_type.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc_wildcard.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_assoc_wildcard_method.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_attr_parenstar.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bench_mux4k.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bench_mux4k_onecpu.pl
View File

@ -25,7 +25,6 @@ if ($nout !~ /cpu/ || $nout =~ /No NUMA support available/i) {
} else {
execute(
run_env => 'numactl -m 0 -C 0,0,0,0,0,0,0,0',
check_finished => 1,
);
ok(1);
}

1
test_regress/t/t_benchmarksim.pl
View File

@ -25,7 +25,6 @@ foreach my $l_opt (@l_opt) {
);
execute(
check_finished => 1,
);
}

1
test_regress/t/t_bind.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bind2.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bitsel_concat.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bitsel_enum.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bitsel_slice.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bitsel_struct.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bitsel_struct2.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_bitsel_struct3.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_blocking.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_66bits.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_66bits_noexpand.pl
View File

@ -17,7 +17,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_auto1.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_deep.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_dupitems.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_duplicated_if.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_enum_emptyish.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_group.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_huge.pl
View File

@ -23,7 +23,6 @@ if ($Self->{vlt}) {
}
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_incrdecr.pl
View File

@ -15,7 +15,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_inside.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_itemwidth.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_nest.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_onehot.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_orig.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_reducer.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_string.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_string2.pl
View File

@ -14,7 +14,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

1
test_regress/t/t_case_unique_many.pl
View File

@ -16,7 +16,6 @@ compile(
);
execute(
check_finished => 1,
);
ok(1);

Some files were not shown because too many files have changed in this diff Show More