Technical Issues

We continued reading about and learning Java, Perl, and Html. We also continued translating the tester.cc program to Java, and have begun designing the changes in the Perl script that will create the Java tester program.


Started converting set class bset.cc to Java for the first possible test case, since we already have the axioms for this class. Discussed writing other test cases. Starting thinking of and planning other test cases, including another (hopefully) correct class, and some incorrect classes in order to test what would happen when the Tester finds axioms that do not test out correctly.

Java Tester Home
Created 02/23/98 by preston.