savant update

Subject: savant update
From: Philip A. Wilsey (paw@ECECS.UC.EDU)
Date: Mon Nov 05 2001 - 17:12:18 MST

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Dale Martin: "tyvis update"
• Previous message: Philip A. Wilsey: "savant update"
• Next in thread: Dale Martin: "savant update"
• Maybe reply: Philip A. Wilsey: "savant update"

Update of /home/paw/CVS/savant/testsuite/lib
In directory gatekeeper.ececs.uc.edu:/tmp/cvs-serv11759/lib

Modified Files:
        counters.exp
Log Message:
Updated reporting functions so that on non-compliant models when the test
passes it reports where it failed.

• Next message: Dale Martin: "tyvis update"
• Previous message: Philip A. Wilsey: "savant update"
• Next in thread: Dale Martin: "savant update"
• Maybe reply: Philip A. Wilsey: "savant update"

This archive was generated by hypermail 2b25 : Mon Mar 18 2002 - 13:00:13 MST