File: t_cover_line_cc.pl

package info (click to toggle)
verilator 4.038-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 29,596 kB
  • sloc: cpp: 90,585; perl: 15,101; ansic: 8,573; yacc: 3,626; lex: 1,616; makefile: 1,101; sh: 175; python: 145
file content (56 lines) | stat: -rwxr-xr-x 1,598 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
#!/usr/bin/env perl
if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
#
# Copyright 2003-2009 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_cover_line.v");

compile(
    verilator_flags2 => ['--cc --coverage-line +define+ATTRIBUTE'],
    );

execute(
    check_finished => 1,
    );

# Read the input .v file and do any CHECK_COVER requests
inline_checks();

run(cmd => ["../bin/verilator_coverage",
            "--annotate", "$Self->{obj_dir}/annotated",
            "$Self->{obj_dir}/coverage.dat"],
    verilator_run => 1,
    );

files_identical("$Self->{obj_dir}/annotated/t_cover_line.v", "t/t_cover_line.out");

# Also try lcov
run(cmd => ["../bin/verilator_coverage",
            "--write-info", "$Self->{obj_dir}/coverage.info",
            "$Self->{obj_dir}/coverage.dat"],
    verilator_run => 1,
    );

# If installed
if (`lcov --version` !~ /version/i
    || `genhtml --version` !~ /version ([0-9.]+)/i) {
    skip("lcov or genhtml not installed");
} elsif ($1 < 1.14) {
    skip("lcov or genhtml too old (version $1), need version >= 1.14");
} else {
    run(cmd => ["genhtml",
                "$Self->{obj_dir}/coverage.info",
                "--output-directory $Self->{obj_dir}/html",
        ]);
}


ok(1);
1;