| -rwxr-xr-x | 965676 | root |
root |
/usr/bin/covered
|
| -rwxr-xr-x | 444808 | root |
root |
/usr/libexec/covered.cver.so
|
| -rwxr-xr-x | 444676 | root |
root |
/usr/libexec/covered.vpi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/covered
|
| -rw-r--r-- | 242 | root |
root |
/usr/share/applications/covered.desktop
|
| -rw-r--r-- | 7535 | 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-- | 12660 | root |
root |
/usr/share/covered/doc/html/chapter.attr.html
|
| -rw-r--r-- | 12460 | root |
root |
/usr/share/covered/doc/html/chapter.boundaries.html
|
| -rw-r--r-- | 23067 | root |
root |
/usr/share/covered/doc/html/chapter.debug.html
|
| -rw-r--r-- | 27595 | root |
root |
/usr/share/covered/doc/html/chapter.epilogue.html
|
| -rw-r--r-- | 6488 | root |
root |
/usr/share/covered/doc/html/chapter.exclude.html
|
| -rw-r--r-- | 13281 | root |
root |
/usr/share/covered/doc/html/chapter.faq.html
|
| -rw-r--r-- | 11412 | root |
root |
/usr/share/covered/doc/html/chapter.gui.assert.html
|
| -rw-r--r-- | 4822 | root |
root |
/usr/share/covered/doc/html/chapter.gui.assert.source.html
|
| -rw-r--r-- | 5792 | root |
root |
/usr/share/covered/doc/html/chapter.gui.exclude.html
|
| -rw-r--r-- | 12411 | root |
root |
/usr/share/covered/doc/html/chapter.gui.fsm.html
|
| -rw-r--r-- | 19141 | root |
root |
/usr/share/covered/doc/html/chapter.gui.genreport.html
|
| -rw-r--r-- | 4359 | root |
root |
/usr/share/covered/doc/html/chapter.gui.intro.html
|
| -rw-r--r-- | 12967 | root |
root |
/usr/share/covered/doc/html/chapter.gui.line.html
|
| -rw-r--r-- | 26863 | root |
root |
/usr/share/covered/doc/html/chapter.gui.logic.html
|
| -rw-r--r-- | 47338 | root |
root |
/usr/share/covered/doc/html/chapter.gui.main.html
|
| -rw-r--r-- | 14660 | root |
root |
/usr/share/covered/doc/html/chapter.gui.memory.html
|
| -rw-r--r-- | 42951 | root |
root |
/usr/share/covered/doc/html/chapter.gui.new.html
|
| -rw-r--r-- | 30369 | root |
root |
/usr/share/covered/doc/html/chapter.gui.preferences.html
|
| -rw-r--r-- | 22255 | root |
root |
/usr/share/covered/doc/html/chapter.gui.rank.html
|
| -rw-r--r-- | 9363 | root |
root |
/usr/share/covered/doc/html/chapter.gui.toggle.html
|
| -rw-r--r-- | 4989 | root |
root |
/usr/share/covered/doc/html/chapter.gui.wizard.html
|
| -rw-r--r-- | 12189 | root |
root |
/usr/share/covered/doc/html/chapter.installation.html
|
| -rw-r--r-- | 9482 | root |
root |
/usr/share/covered/doc/html/chapter.intro.html
|
| -rw-r--r-- | 13934 | root |
root |
/usr/share/covered/doc/html/chapter.merge.html
|
| -rw-r--r-- | 25810 | root |
root |
/usr/share/covered/doc/html/chapter.metrics.html
|
| -rw-r--r-- | 12214 | root |
root |
/usr/share/covered/doc/html/chapter.race.html
|
| -rw-r--r-- | 28265 | root |
root |
/usr/share/covered/doc/html/chapter.rank.html
|
| -rw-r--r-- | 42242 | root |
root |
/usr/share/covered/doc/html/chapter.reading.html
|
| -rw-r--r-- | 15282 | root |
root |
/usr/share/covered/doc/html/chapter.report.html
|
| -rw-r--r-- | 47619 | root |
root |
/usr/share/covered/doc/html/chapter.score.html
|
| -rw-r--r-- | 18874 | root |
root |
/usr/share/covered/doc/html/chapter.start.html
|
| -rw-r--r-- | 15649 | 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-- | 15215 | root |
root |
/usr/share/covered/doc/html/index.html
|
| -rw-r--r-- | 7505 | root |
root |
/usr/share/covered/doc/html/part.command.line.usage.html
|
| -rw-r--r-- | 2627 | root |
root |
/usr/share/covered/doc/html/part.epilogue.html
|
| -rw-r--r-- | 1956 | root |
root |
/usr/share/covered/doc/html/part.faq.html
|
| -rw-r--r-- | 10121 | root |
root |
/usr/share/covered/doc/html/part.gui.html
|
| -rw-r--r-- | 2559 | root |
root |
/usr/share/covered/doc/html/part.installation.html
|
| -rw-r--r-- | 4986 | 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-- | 15469 | 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-- | 3978 | 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-- | 27180 | root |
root |
/usr/share/covered/scripts/comb.tcl
|
| -rw-r--r-- | 3609 | 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-- | 6992 | root |
root |
/usr/share/covered/scripts/exclude.tcl
|
| -rw-r--r-- | 370 | root |
root |
/usr/share/covered/scripts/find.gif
|
| -rw-r--r-- | 16086 | root |
root |
/usr/share/covered/scripts/fsm.tcl
|
| -rw-r--r-- | 67787 | root |
root |
/usr/share/covered/scripts/gen_new.tcl
|
| -rw-r--r-- | 31903 | root |
root |
/usr/share/covered/scripts/gen_rank.tcl
|
| -rw-r--r-- | 16906 | root |
root |
/usr/share/covered/scripts/gen_report.tcl
|
| -rw-r--r-- | 3759 | root |
root |
/usr/share/covered/scripts/help.tcl
|
| -rw-r--r-- | 115 | root |
root |
/usr/share/covered/scripts/left_arrow.gif
|
| -rw-r--r-- | 21396 | root |
root |
/usr/share/covered/scripts/main_view.tcl
|
| -rw-r--r-- | 17435 | root |
root |
/usr/share/covered/scripts/memory.tcl
|
| -rw-r--r-- | 13647 | root |
root |
/usr/share/covered/scripts/menu_create.tcl
|
| -rw-r--r-- | 53233 | root |
root |
/usr/share/covered/scripts/preferences.tcl
|
| -rw-r--r-- | 41039 | 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-- | 9772 | root |
root |
/usr/share/covered/scripts/toggle.tcl
|
| -rw-r--r-- | 70 | root |
root |
/usr/share/covered/scripts/unchecked.gif
|
| -rw-r--r-- | 15066 | root |
root |
/usr/share/covered/scripts/verilog.tcl
|
| -rw-r--r-- | 4341 | root |
root |
/usr/share/covered/scripts/viewer.tcl
|
| -rw-r--r-- | 3258 | root |
root |
/usr/share/covered/scripts/wizard.tcl
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/covered-0.7.7
|
| -rw-r--r-- | 39 | root |
root |
/usr/share/doc/covered-0.7.7/AUTHORS
|
| -rw-r--r-- | 18007 | root |
root |
/usr/share/doc/covered-0.7.7/COPYING
|
| -rw-r--r-- | 2271 | root |
root |
/usr/share/doc/covered-0.7.7/ChangeLog
|
| -rw-r--r-- | 120420 | root |
root |
/usr/share/doc/covered-0.7.7/NEWS
|
| -rw-r--r-- | 1457 | root |
root |
/usr/share/doc/covered-0.7.7/README
|
| -rw-r--r-- | 1692 | root |
root |
/usr/share/doc/covered-0.7.7/TODO
|
| -rw-r--r-- | 281 | root |
root |
/usr/share/icons/hicolor/32x32/apps/covered.png
|
| -rw-r--r-- | 7709 | root |
root |
/usr/share/man/man1/covered.1.gz
|
