Man page - dbginfo(1)

Packages contains this manual

Package:  gatb-core
apt-get install gatb-core

Manuals in package:
• leon(1)
• dbgh5(1)
• dbginfo(1)
Documentations in package:
• gatb-core

Manual

DBGINFO

NAME

dbginfo - dumps information about a DeBruinj graph build by dbgh5

OPTIONS

-in (1 arg) :

graph file

AUTHOR

This manpage was written by Andreas Tille for the Debian distribution and can be used for any other usage of the program.