DEJAGNU-REPORT-CARD(1) General Commands Manual (urm) DEJAGNU-REPORT-CARD(1) (NAME) dejagnu report card - (SYNOPSIS) dejagnu report card [