Sorry, I can't seem to find this in the dejagnu manual. How does dejagnu know if a failutre qualifies as a FAIL or an XFAIL? - a -- "Cassette tapes are killing the music industry" -- RIAA spokesperson, 1978