📦 dejagnu

D

• dejagnu(1)DejaGnu auxiliary command launcher✨
• dejagnu-help(1)display manual pages for DejaGnu auxiliary commands✨
• dejagnu-report-card(1)summarize results from testing multiple tools✨

R

• runtest(1)DejaGnu test driver✨