This file is indexed.

/usr/share/covered/doc/html/chapter.gui.intro.html is in covered-doc 0.7.10-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
<html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 16. Introduction to the GUI</title><link rel="stylesheet" href="covered.css" type="text/css"><meta name="generator" content="DocBook XSL Stylesheets V1.71.1"><link rel="start" href="index.html" title="Covered User's Guide - 0.7.9"><link rel="up" href="part.gui.html" title="Part IV. Graphical User Interface"><link rel="prev" href="part.gui.html" title="Part IV. Graphical User Interface"><link rel="next" href="chapter.gui.main.html" title="Chapter 17. Navigating the Main Window"><center><img src="img/banner.jpg"></center><hr></head><body bgcolor="#dfeef8" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Chapter 16. Introduction to the GUI</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="part.gui.html"><img src="img/prev.gif" alt="Prev"></a> </td><th width="60%" align="center">Part IV. Graphical User Interface</th><td width="20%" align="right"> <a accesskey="n" href="chapter.gui.main.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="chapter" lang="en"><div class="titlepage"><div><div><h2 class="title"><a name="chapter.gui.intro"></a>Chapter 16. Introduction to the GUI</h2></div></div></div><p>
    The Covered report viewer GUI allows a user to view the coverage results from one or more CDD (Covered Design Database) files that have been previously 
    generated using the Covered score and/or merge commands.  The advantages of using the GUI versus using an ASCII file to view coverage results are the 
    following:
  </p><p>
    </p><div class="orderedlist"><ol type="1"><li><p>
          View code that is covered/uncovered within the actual source file text (more context)
        </p></li><li><p>
          Quickly see which modules/instances were uncovered for each coverage metric.
        </p></li><li><p>
          Ability to hide/unhide verbose information for uncovered code.
        </p></li><li><p>
          Quickly find expressions that caused combinational logic cases to be uncovered.
        </p></li><li><p>
          Allows user to focus on a particular expression/signal/module/instance that is uncovered.
        </p></li><li><p>
          Non-useful coverage cases can be interactively excluded/included and summary information automatically recalculated.
        </p></li></ol></div><p>
  </p><p>
    Because the nature of a GUI interface is much more interactive than a generated text file report, the Covered report viewer is meant to provide the user a 
    more in-depth look at the logic to identify the reasons for not achieving full coverage.  This is the ultimate goal of the GUI interface -- to be an 
    interactive tool for identifying and understanding why full code coverage was not achieved and how to write tests that will cover those areas.
  </p><p>
    The GUI report viewer is invoked by specifying the <span class="bold"><strong><code class="code">-view</code></strong></span> option to the Covered report command.  The 
    report viewer is part of the report command and is, therefore, not used to parse/score a design.  However, merging maytake place with the GUI as 
    multiple CDD files may be read, merged (assuming all of the CDD files came from the same DUT) and saved in CDD file format.
  </p><p>
    The rest of the user manual pages describe the various widgets and windows of the GUI and their functionality.  Additionally, this user manual contains 
    information on how to get the most out of the Covered GUI report viewer.
  </p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="part.gui.html"><img src="img/prev.gif" alt="Prev"></a> </td><td width="20%" align="center"><a accesskey="u" href="part.gui.html"><img src="img/up.gif" alt="Up"></a></td><td width="40%" align="right"> <a accesskey="n" href="chapter.gui.main.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Part IV. Graphical User Interface </td><td width="20%" align="center"><a accesskey="h" href="index.html"><img src="img/home.gif" alt="Home"></a></td><td width="40%" align="right" valign="top"> Chapter 17. Navigating the Main Window</td></tr></table></div></body></html>