From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 18 May 93 02:03:16 GMT From: dog.ee.lbl.gov!overload.lbl.gov!agate!howland.reston.ans.net!usc!sol.ctr. columbia.edu!news.unomaha.edu!cwis!troj@ucbvax.Berkeley.EDU (Kevin Trojanowski ) Subject: Ada coverage tools? Message-ID: List-Id: Anyon happen to know of, or better yet, have experience with coverage tools for Ada? We are currently looking into acquiring a coverage tool to use on our current and future Ada projects. Thus far, we've looked at the TCAT family of tools from Software Research, and I must say I've not been impressed. I'm hoping that there's something better out there. -Kevin Trojanowski troj@cwis.unomaha.edu