| -rwxr-xr-x | 1018804 | root |
root |
/usr/bin/covered
|
| -rwxr-xr-x | 448176 | root |
root |
/usr/libexec/covered.cver.so
|
| -rwxr-xr-x | 447980 | root |
root |
/usr/libexec/covered.vpi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/covered
|
| -rw-r--r-- | 241 | root |
root |
/usr/share/applications/covered.desktop
|
| -rw-r--r-- | 7628 | root |
root |
/usr/share/covered/.coveredrc
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/covered/doc
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/covered/scripts
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/covered/doc/html
|
| -rw-r--r-- | 13343 | root |
root |
/usr/share/covered/doc/html/chapter.attr.html
|
| -rw-r--r-- | 12528 | root |
root |
/usr/share/covered/doc/html/chapter.boundaries.html
|
| -rw-r--r-- | 23135 | root |
root |
/usr/share/covered/doc/html/chapter.debug.html
|
| -rw-r--r-- | 27667 | root |
root |
/usr/share/covered/doc/html/chapter.epilogue.html
|
| -rw-r--r-- | 6556 | root |
root |
/usr/share/covered/doc/html/chapter.exclude.html
|
| -rw-r--r-- | 13397 | root |
root |
/usr/share/covered/doc/html/chapter.faq.html
|
| -rw-r--r-- | 11480 | root |
root |
/usr/share/covered/doc/html/chapter.gui.assert.html
|
| -rw-r--r-- | 4890 | root |
root |
/usr/share/covered/doc/html/chapter.gui.assert.source.html
|
| -rw-r--r-- | 5860 | root |
root |
/usr/share/covered/doc/html/chapter.gui.exclude.html
|
| -rw-r--r-- | 12479 | root |
root |
/usr/share/covered/doc/html/chapter.gui.fsm.html
|
| -rw-r--r-- | 19209 | root |
root |
/usr/share/covered/doc/html/chapter.gui.genreport.html
|
| -rw-r--r-- | 4427 | root |
root |
/usr/share/covered/doc/html/chapter.gui.intro.html
|
| -rw-r--r-- | 13035 | root |
root |
/usr/share/covered/doc/html/chapter.gui.line.html
|
| -rw-r--r-- | 26931 | root |
root |
/usr/share/covered/doc/html/chapter.gui.logic.html
|
| -rw-r--r-- | 47406 | root |
root |
/usr/share/covered/doc/html/chapter.gui.main.html
|
| -rw-r--r-- | 14728 | root |
root |
/usr/share/covered/doc/html/chapter.gui.memory.html
|
| -rw-r--r-- | 43042 | root |
root |
/usr/share/covered/doc/html/chapter.gui.new.html
|
| -rw-r--r-- | 30437 | root |
root |
/usr/share/covered/doc/html/chapter.gui.preferences.html
|
| -rw-r--r-- | 22323 | root |
root |
/usr/share/covered/doc/html/chapter.gui.rank.html
|
| -rw-r--r-- | 9431 | root |
root |
/usr/share/covered/doc/html/chapter.gui.toggle.html
|
| -rw-r--r-- | 5057 | root |
root |
/usr/share/covered/doc/html/chapter.gui.wizard.html
|
| -rw-r--r-- | 12257 | root |
root |
/usr/share/covered/doc/html/chapter.installation.html
|
| -rw-r--r-- | 9555 | root |
root |
/usr/share/covered/doc/html/chapter.intro.html
|
| -rw-r--r-- | 14002 | root |
root |
/usr/share/covered/doc/html/chapter.merge.html
|
| -rw-r--r-- | 25878 | root |
root |
/usr/share/covered/doc/html/chapter.metrics.html
|
| -rw-r--r-- | 12282 | root |
root |
/usr/share/covered/doc/html/chapter.race.html
|
| -rw-r--r-- | 28333 | root |
root |
/usr/share/covered/doc/html/chapter.rank.html
|
| -rw-r--r-- | 42310 | root |
root |
/usr/share/covered/doc/html/chapter.reading.html
|
| -rw-r--r-- | 15489 | root |
root |
/usr/share/covered/doc/html/chapter.report.html
|
| -rw-r--r-- | 48133 | root |
root |
/usr/share/covered/doc/html/chapter.score.html
|
| -rw-r--r-- | 21666 | root |
root |
/usr/share/covered/doc/html/chapter.start.html
|
| -rw-r--r-- | 16286 | root |
root |
/usr/share/covered/doc/html/chapter.using.html
|
| -rw-r--r-- | 171 | root |
root |
/usr/share/covered/doc/html/covered.css
|
| -rw-r--r-- | 34082 | root |
root |
/usr/share/covered/doc/html/example.rptI.html
|
| -rw-r--r-- | 33086 | root |
root |
/usr/share/covered/doc/html/example.rptM.html
|
| -rw-r--r-- | 4514 | root |
root |
/usr/share/covered/doc/html/example.v.html
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/covered/doc/html/img
|
| -rw-r--r-- | 15348 | root |
root |
/usr/share/covered/doc/html/index.html
|
| -rw-r--r-- | 7594 | root |
root |
/usr/share/covered/doc/html/part.command.line.usage.html
|
| -rw-r--r-- | 2716 | root |
root |
/usr/share/covered/doc/html/part.epilogue.html
|
| -rw-r--r-- | 2045 | root |
root |
/usr/share/covered/doc/html/part.faq.html
|
| -rw-r--r-- | 10210 | root |
root |
/usr/share/covered/doc/html/part.gui.html
|
| -rw-r--r-- | 2648 | root |
root |
/usr/share/covered/doc/html/part.installation.html
|
| -rw-r--r-- | 5117 | root |
root |
/usr/share/covered/doc/html/part.overview.html
|
| -rw-r--r-- | 5677 | root |
root |
/usr/share/covered/doc/html/img/app_menu.gif
|
| -rw-r--r-- | 14028 | root |
root |
/usr/share/covered/doc/html/img/assert_excl.gif
|
| -rw-r--r-- | 42941 | root |
root |
/usr/share/covered/doc/html/img/assert_src.gif
|
| -rw-r--r-- | 13512 | root |
root |
/usr/share/covered/doc/html/img/assert_window.gif
|
| -rw-r--r-- | 14450 | root |
root |
/usr/share/covered/doc/html/img/banner.jpg
|
| -rw-r--r-- | 12260 | root |
root |
/usr/share/covered/doc/html/img/close_warn.gif
|
| -rw-r--r-- | 3253 | root |
root |
/usr/share/covered/doc/html/img/col_show_hide.gif
|
| -rw-r--r-- | 17726 | root |
root |
/usr/share/covered/doc/html/img/comb_complex.gif
|
| -rw-r--r-- | 16205 | root |
root |
/usr/share/covered/doc/html/img/comb_event.gif
|
| -rw-r--r-- | 16374 | root |
root |
/usr/share/covered/doc/html/img/comb_simple.gif
|
| -rw-r--r-- | 16256 | root |
root |
/usr/share/covered/doc/html/img/comb_simple_and.gif
|
| -rw-r--r-- | 16178 | root |
root |
/usr/share/covered/doc/html/img/comb_simple_or.gif
|
| -rw-r--r-- | 15280 | root |
root |
/usr/share/covered/doc/html/img/comb_unary.gif
|
| -rw-r--r-- | 75 | root |
root |
/usr/share/covered/doc/html/img/dn_button.gif
|
| -rw-r--r-- | 10931 | root |
root |
/usr/share/covered/doc/html/img/er_full.gif
|
| -rw-r--r-- | 6989 | root |
root |
/usr/share/covered/doc/html/img/er_part.gif
|
| -rw-r--r-- | 11869 | root |
root |
/usr/share/covered/doc/html/img/exit_warn.gif
|
| -rw-r--r-- | 4984 | root |
root |
/usr/share/covered/doc/html/img/file_menu.gif
|
| -rw-r--r-- | 24362 | root |
root |
/usr/share/covered/doc/html/img/file_viewer.gif
|
| -rw-r--r-- | 18346 | root |
root |
/usr/share/covered/doc/html/img/fsm_example.png
|
| -rw-r--r-- | 18444 | root |
root |
/usr/share/covered/doc/html/img/fsm_excl.gif
|
| -rw-r--r-- | 18368 | root |
root |
/usr/share/covered/doc/html/img/fsm_window.gif
|
| -rw-r--r-- | 3735 | root |
root |
/usr/share/covered/doc/html/img/gen_menu.gif
|
| -rw-r--r-- | 4156 | root |
root |
/usr/share/covered/doc/html/img/help_menu.gif
|
| -rw-r--r-- | 321 | root |
root |
/usr/share/covered/doc/html/img/home.gif
|
| -rw-r--r-- | 35950 | root |
root |
/usr/share/covered/doc/html/img/line_excl.gif
|
| -rw-r--r-- | 37196 | root |
root |
/usr/share/covered/doc/html/img/line_incl.gif
|
| -rw-r--r-- | 131571 | root |
root |
/usr/share/covered/doc/html/img/main_cov.gif
|
| -rw-r--r-- | 131287 | root |
root |
/usr/share/covered/doc/html/img/main_info.gif
|
| -rw-r--r-- | 131742 | root |
root |
/usr/share/covered/doc/html/img/main_lb.gif
|
| -rw-r--r-- | 131682 | root |
root |
/usr/share/covered/doc/html/img/main_menu.gif
|
| -rw-r--r-- | 131724 | root |
root |
/usr/share/covered/doc/html/img/main_viewer.gif
|
| -rw-r--r-- | 16633 | root |
root |
/usr/share/covered/doc/html/img/main_window.gif
|
| -rw-r--r-- | 23703 | root |
root |
/usr/share/covered/doc/html/img/memory_full.gif
|
| -rw-r--r-- | 6352 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_define.gif
|
| -rw-r--r-- | 8841 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_fsm.gif
|
| -rw-r--r-- | 19444 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_gen.gif
|
| -rw-r--r-- | 7536 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_insert_menu.gif
|
| -rw-r--r-- | 8373 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_lib_ext.gif
|
| -rw-r--r-- | 5156 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_mod_excl.gif
|
| -rw-r--r-- | 6830 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_mod_gen.gif
|
| -rw-r--r-- | 7821 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_name.gif
|
| -rw-r--r-- | 24780 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_options.gif
|
| -rw-r--r-- | 24541 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_options2.gif
|
| -rw-r--r-- | 6509 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_parm_oride.gif
|
| -rw-r--r-- | 10289 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_selection.gif
|
| -rw-r--r-- | 12667 | root |
root |
/usr/share/covered/doc/html/img/new_cdd_type.gif
|
| -rw-r--r-- | 1083 | root |
root |
/usr/share/covered/doc/html/img/next.gif
|
| -rw-r--r-- | 580 | root |
root |
/usr/share/covered/doc/html/img/note.gif
|
| -rw-r--r-- | 51003 | root |
root |
/usr/share/covered/doc/html/img/populated_lb.gif
|
| -rw-r--r-- | 16323 | root |
root |
/usr/share/covered/doc/html/img/pref_color.gif
|
| -rw-r--r-- | 15973 | root |
root |
/usr/share/covered/doc/html/img/pref_exclude.gif
|
| -rw-r--r-- | 18758 | root |
root |
/usr/share/covered/doc/html/img/pref_goals.gif
|
| -rw-r--r-- | 22246 | root |
root |
/usr/share/covered/doc/html/img/pref_main.gif
|
| -rw-r--r-- | 15908 | root |
root |
/usr/share/covered/doc/html/img/pref_merge.gif
|
| -rw-r--r-- | 20910 | root |
root |
/usr/share/covered/doc/html/img/pref_syntax.gif
|
| -rw-r--r-- | 1118 | root |
root |
/usr/share/covered/doc/html/img/prev.gif
|
| -rw-r--r-- | 27630 | root |
root |
/usr/share/covered/doc/html/img/rank_files.gif
|
| -rw-r--r-- | 27252 | root |
root |
/usr/share/covered/doc/html/img/rank_options.gif
|
| -rw-r--r-- | 25647 | root |
root |
/usr/share/covered/doc/html/img/rank_output.gif
|
| -rw-r--r-- | 36805 | root |
root |
/usr/share/covered/doc/html/img/rank_report.gif
|
| -rw-r--r-- | 10560 | root |
root |
/usr/share/covered/doc/html/img/rank_selection.gif
|
| -rw-r--r-- | 6504 | root |
root |
/usr/share/covered/doc/html/img/report_menu.gif
|
| -rw-r--r-- | 33708 | root |
root |
/usr/share/covered/doc/html/img/rpt_gen_options.gif
|
| -rw-r--r-- | 10242 | root |
root |
/usr/share/covered/doc/html/img/rpt_gen_selection.gif
|
| -rw-r--r-- | 43697 | root |
root |
/usr/share/covered/doc/html/img/rpt_gen_view.gif
|
| -rw-r--r-- | 7499 | root |
root |
/usr/share/covered/doc/html/img/toggle_full.gif
|
| -rw-r--r-- | 1089 | root |
root |
/usr/share/covered/doc/html/img/up.gif
|
| -rw-r--r-- | 76 | root |
root |
/usr/share/covered/doc/html/img/up_button.gif
|
| -rw-r--r-- | 13788 | root |
root |
/usr/share/covered/doc/html/img/vhier.png
|
| -rw-r--r-- | 5236 | root |
root |
/usr/share/covered/doc/html/img/vhier2.png
|
| -rw-r--r-- | 4360 | root |
root |
/usr/share/covered/doc/html/img/view_menu.gif
|
| -rw-r--r-- | 24169 | root |
root |
/usr/share/covered/doc/html/img/wizard.gif
|
| -rw-r--r-- | 15534 | root |
root |
/usr/share/covered/scripts/assert.tcl
|
| -rw-r--r-- | 1887 | root |
root |
/usr/share/covered/scripts/balloon.tcl
|
| -rw-r--r-- | 26799 | root |
root |
/usr/share/covered/scripts/banner.gif
|
| -rw-r--r-- | 4008 | root |
root |
/usr/share/covered/scripts/cdd_view.tcl
|
| -rw-r--r-- | 83 | root |
root |
/usr/share/covered/scripts/checked.gif
|
| -rw-r--r-- | 85 | root |
root |
/usr/share/covered/scripts/clear.gif
|
| -rw-r--r-- | 26894 | root |
root |
/usr/share/covered/scripts/comb.tcl
|
| -rw-r--r-- | 3611 | root |
root |
/usr/share/covered/scripts/cov_create.tcl
|
| -rw-r--r-- | 281 | root |
root |
/usr/share/covered/scripts/cov_icon.gif
|
| -rw-r--r-- | 7080 | root |
root |
/usr/share/covered/scripts/exclude.tcl
|
| -rw-r--r-- | 370 | root |
root |
/usr/share/covered/scripts/find.gif
|
| -rw-r--r-- | 16085 | root |
root |
/usr/share/covered/scripts/fsm.tcl
|
| -rw-r--r-- | 68677 | root |
root |
/usr/share/covered/scripts/gen_new.tcl
|
| -rw-r--r-- | 32263 | root |
root |
/usr/share/covered/scripts/gen_rank.tcl
|
| -rw-r--r-- | 16894 | root |
root |
/usr/share/covered/scripts/gen_report.tcl
|
| -rw-r--r-- | 5056 | root |
root |
/usr/share/covered/scripts/help.tcl
|
| -rw-r--r-- | 115 | root |
root |
/usr/share/covered/scripts/left_arrow.gif
|
| -rw-r--r-- | 21842 | root |
root |
/usr/share/covered/scripts/main_view.tcl
|
| -rw-r--r-- | 17512 | root |
root |
/usr/share/covered/scripts/memory.tcl
|
| -rw-r--r-- | 13667 | root |
root |
/usr/share/covered/scripts/menu_create.tcl
|
| -rw-r--r-- | 54262 | root |
root |
/usr/share/covered/scripts/preferences.tcl
|
| -rw-r--r-- | 41494 | root |
root |
/usr/share/covered/scripts/process_file.tcl
|
| -rw-r--r-- | 115 | root |
root |
/usr/share/covered/scripts/right_arrow.gif
|
| -rw-r--r-- | 10455 | root |
root |
/usr/share/covered/scripts/summary.tcl
|
| -rw-r--r-- | 9821 | root |
root |
/usr/share/covered/scripts/toggle.tcl
|
| -rw-r--r-- | 70 | root |
root |
/usr/share/covered/scripts/unchecked.gif
|
| -rw-r--r-- | 15235 | root |
root |
/usr/share/covered/scripts/verilog.tcl
|
| -rw-r--r-- | 4366 | root |
root |
/usr/share/covered/scripts/viewer.tcl
|
| -rw-r--r-- | 3252 | root |
root |
/usr/share/covered/scripts/wizard.tcl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/covered-0.7.10
|
| -rw-r--r-- | 39 | root |
root |
/usr/share/doc/covered-0.7.10/AUTHORS
|
| -rw-r--r-- | 18007 | root |
root |
/usr/share/doc/covered-0.7.10/COPYING
|
| -rw-r--r-- | 160 | root |
root |
/usr/share/doc/covered-0.7.10/ChangeLog
|
| -rw-r--r-- | 201 | root |
root |
/usr/share/doc/covered-0.7.10/NEWS
|
| -rw-r--r-- | 1457 | root |
root |
/usr/share/doc/covered-0.7.10/README
|
| -rw-r--r-- | 1692 | root |
root |
/usr/share/doc/covered-0.7.10/TODO
|
| -rw-r--r-- | 281 | root |
root |
/usr/share/icons/hicolor/32x32/apps/covered.png
|
| -rw-r--r-- | 7999 | root |
root |
/usr/share/man/man1/covered.1.gz
|
