Correctness checking tools availability

Eddie Kohler kohler at aciri.org
Wed Nov 28 00:48:30 EST 2001


Hi Parveen,

Unfortunately, we have not gotten any of those tools out the door yet. :(

One helpful mechanism for encouraging us to work on them, would be for you,
and other people on the list, to report common errors that you wish you
could have found with a tool.

Eddie



More information about the click mailing list