/usr/share/covered/doc/html/part.gui.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 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Part IV. Graphical User Interface</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="index.html" title="Covered User's Guide - 0.7.9"><link rel="prev" href="chapter.debug.html" title="Chapter 15. Debugging"><link rel="next" href="chapter.gui.intro.html" title="Chapter 16. Introduction to the GUI"><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">Part IV. Graphical User Interface</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.debug.html"><img src="img/prev.gif" alt="Prev"></a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="chapter.gui.intro.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="part" lang="en"><div class="titlepage"><div><div><h1 class="title"><a name="part.gui"></a>Part IV. Graphical User Interface</h1></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="chapter"><a href="chapter.gui.intro.html">16. Introduction to the GUI</a></span></dt><dt><span class="chapter"><a href="chapter.gui.main.html">17. Navigating the Main Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.menubar">17.1. The Main Menu Bar</a></span></dt><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.covbar">17.2. The Coverage Type View Bar</a></span></dt><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.listbox">17.3. The Module/Instance Listbox</a></span></dt><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.viewer">17.4. The Coverage File Viewer</a></span></dt><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.infobar">17.5. The Information Bar</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.line.html">18. Navigating the Line Coverage Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.line.html#section.gui.line.uncov">18.1. Viewing Uncovered Lines</a></span></dt><dt><span class="sect1"><a href="chapter.gui.line.html#section.gui.line.excl">18.2. Excluding/Included Uncovered Lines from Line Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.gui.line.html#section.gui.line.cov">18.3. Viewing Covered Lines</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.toggle.html">19. Navigating the Toggle Coverage Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.toggle.html#section.gui.toggle.layout">19.1. Understanding the Layout</a></span></dt><dt><span class="sect1"><a href="chapter.gui.toggle.html#section.gui.toggle.excl">19.2. Excluding/Including a Signal for Toggle Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.gui.toggle.html#section.gui.toggle.display">19.3. Displaying a New Signal for Toggle Coverage</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.memory.html">20. Navigating the Memory Coverage Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.memory.html#section.gui.memory.layout">20.1. Understanding the Layout</a></span></dt><dt><span class="sect1"><a href="chapter.gui.memory.html#section.gui.memory.excl">20.2. Excluding/Including a Memory for Memory Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.gui.memory.html#section.gui.memory.displaying">20.3. Displaying a New Memory for Memory Coverage</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.logic.html">21. Navigating the Combinational Logic Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.logic.html#section.gui.logic.navigate">21.1. Navigating a Statement</a></span></dt><dt><span class="sect1"><a href="chapter.gui.logic.html#section.gui.logic.info">21.2. Understanding the Coverage Information</a></span></dt><dt><span class="sect1"><a href="chapter.gui.logic.html#section.gui.logic.excl">21.3. Excluding/Including a Subexpression</a></span></dt><dt><span class="sect1"><a href="chapter.gui.logic.html#section.gui.logic.display">21.4. Displaying a New Statement</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.fsm.html">22. Navigating the FSM State/State Transition Coverage Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.fsm.html#section.gui.fsm.navigate">22.1. Navigating the FSM Window</a></span></dt><dt><span class="sect1"><a href="chapter.gui.fsm.html#section.gui.fsm.excl">22.2. Excluding/Including a State Transition</a></span></dt><dt><span class="sect1"><a href="chapter.gui.fsm.html#section.gui.fsm.display">22.3. Displaying a New FSM</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.assert.html">23. Navigating the Assertion Coverage Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.assert.html#section.gui.assert.navigate">23.1. Navigating the Assertion Coverage Window</a></span></dt><dt><span class="sect1"><a href="chapter.gui.assert.html#section.gui.assert.excl">23.2. Excluding/Including Assertion Coverage Points</a></span></dt><dt><span class="sect1"><a href="chapter.gui.assert.html#section.gui.assert.display">23.3. Displaying a New Assertion Instance</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.assert.source.html">24. Navigating the Assertion Source Code Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.assert.source.html#section.gui.assert.source.navigate">24.1. Navigating the Source Code</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.new.html">25. Creating a New CDD</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.new.html#section.gui.new.select">25.1. Navigating the New CDD Creation Option Selection Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.new.html#section.gui.new.name">25.2. Navigating the New CDD Creation CDD Name Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.new.html#section.gui.new.type">25.3. CDD Creation Type Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.new.html#section.gui.new.options1">25.4. CDD Creation Options1 Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.new.html#section.gui.new.options2">25.5. CDD Creation Options2 Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.new.html#section.gui.new.output">25.6. CDD Creation Output Pane</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.genreport.html">26. Creating an ASCII report file</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.genreport.html#section.gui.genreport.select">26.1. Navigating the Report Generator Selection Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.genreport.html#section.gui.genreport.options">26.2. Report Generation Options Page</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.rank.html">27. Creating a CDD Ranking Report</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.rank.html#section.gui.rank.select">27.1. CDD Ranking Option Selection Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.rank.html#section.gui.rank.options">27.2. CDD Ranking Option Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.rank.html#section.gui.rank.files">27.3. CDD Ranking Input File Selection Page</a></span></dt><dt><span class="sect1"><a href="chapter.gui.rank.html#section.gui.rank.output">27.4. CDD ranking Command Output Page</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.preferences.html">28. Navigating the Preferences Window</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.categories">28.1. Option Categories</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.buttons">28.2. Preference Buttons</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.configfile">28.3. Preferences Configuration File</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.general">28.4. Preferences General Pane</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.color">28.5. Preferences Color Pane</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.goals">28.6. Preference Coverage Goals Pane</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.syntax">28.7. Preferences Syntax Highlighting Pane</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.exclude">28.8. Preferences Exclusion Pane</a></span></dt><dt><span class="sect1"><a href="chapter.gui.preferences.html#section.gui.pref.merging">28.9. Preference Merging Pane</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.gui.exclude.html">29. The Exclusion Reason Popup Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.wizard.html">30. Navigating the Wizard Window</a></span></dt></dl></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="chapter.debug.html"><img src="img/prev.gif" alt="Prev"></a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="chapter.gui.intro.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 15. Debugging </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 16. Introduction to the GUI</td></tr></table></div></body></html>
|