savant update

Subject: savant update
From: Philip A. Wilsey (paw@ECECS.UC.EDU)
Date: Wed Oct 17 2001 - 19:25:50 MDT

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Philip A. Wilsey: "savant update"
• Previous message: Philip A. Wilsey: "savant update"
• Next in thread: Philip A. Wilsey: "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-serv1179/lib

Modified Files:
        counters.exp
Log Message:
Forgot to fix a couple of formatting/computation issues. Note, the couting
is currently backwards on the reporting for non-compliant tests. That it,
it will count the test as passed when the analyzer didn't catch the error.
To make matters worse, the log/summary files count it correctly. I'm still
thinking about how to restructure the scripts to fix this.

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

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