configuration file loaded. It can be named anything but must be pointed to by the $DEJAGNU environment variable (set when your terminal loads). References External links DejaGnu Homepage DejaGnu Tutorial (dead link : obsolete since https://www.gnu.org/software/dejagnu/manual/index.html exists ?) DejaGnu Bug Archives Software testing tools Scripting languages Free software programmed in Tcl GNU Project software