We continued integration testing. The new class PNet was completed, along with axioms, signatures and vectors.

The output was modified to display a link to the summary results from the top of the output page. We also added links from the summary "failed" axioms to a case where the axiom failed when using the verbose option.

We discovered that the user interface does not work from a PC outside of the department. The CGI script has a problem opening the local files. We will explore this problem, but since time is running out, we may not be able to address it fully.

Java Tester Home
Created 4/20/98 by knight.