DEFINITION TEST
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test1.input
Running the class dictionary checker...
 *** ERROR: Class D is defined more than once in the class dictionary.
 *** ERROR: Class X is not defined in the class dictionary.
 *** ERROR: Class Z is not defined in the class dictionary.
 *** ERROR: Class Ident is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test2.input
Running the class dictionary checker...
 *** ERROR: Class Beta1 is not defined in the class dictionary.
 *** ERROR: Class Epsilon is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test3.input
Running the class dictionary checker...
 *** ERROR: Class A is defined more than once in the class dictionary.
 *** ERROR: Class B is not defined in the class dictionary.
 *** ERROR: Class G is not defined in the class dictionary.
 *** ERROR: Class L violates TBR. Class Ident is not the only part class.
 *** ERROR: Class Ident is not defined in the class dictionary.
 *** ERROR: Class L violates TBR. Class String is not the only part class.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class P is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test4.input
Running the class dictionary checker...
 *** ERROR: Part z of class E is not unique
 *** ERROR: Class C is not defined in the class dictionary.
 *** ERROR: Class J is not defined in the class dictionary.
 *** ERROR: Class X is not defined in the class dictionary.
 *** ERROR: Class Y is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test5.input
Running the class dictionary checker...
 *** ERROR: Part h of class G is not unique
 *** ERROR: Part j of class I is not unique
 *** ERROR: Class F is not defined in the class dictionary.
 NEXT TEST 
 INHERITANCE CYCLE TEST
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test1.input
Running the class dictionary checker...
 *** ERROR: Cyclic inheritance from class F to class A to class B to class G to class F
...Fatal error, aborting. NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test2.input
Running the class dictionary checker...
 *** ERROR: Class D has two super classes: A, C.
...Fatal Error, aborting. NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test3.input
Running the class dictionary checker...
 *** ERROR: Cyclic inheritance from class A to class B to class C to class A
...Fatal error, aborting. NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test4.input
Running the class dictionary checker...
 *** ERROR: Class String is not defined in the class dictionary.
 NEXT TEST 
 MULTIPLE INHERITANCE TEST
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test1.input
Running the class dictionary checker...
 *** ERROR: Class B has two super classes: A, Z.
...Fatal Error, aborting. NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test2.input
Running the class dictionary checker...
 *** ERROR: Class N has two super classes: X, G.
...Fatal Error, aborting. NEXT TEST 
 UNIQUE PARTS TEST
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test1.input
Running the class dictionary checker...
 *** ERROR: Part z of class B is not unique
 *** ERROR: Part x of class C is not unique
 *** ERROR: Part g of class Y is not unique
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test2.input
Running the class dictionary checker...
 *** ERROR: Part d of class E is not unique
 *** ERROR: Part a of class G is not unique
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class common is not defined in the class dictionary.
 *** ERROR: Class F is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test3.input
Running the class dictionary checker...
 *** ERROR: Part j of class I is not unique
 *** ERROR: Class F is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test4.input
Running the class dictionary checker...
 *** ERROR: Part d of class E is not unique
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class common is not defined in the class dictionary.
 *** ERROR: Class D is not defined in the class dictionary.
 *** ERROR: Class F is not defined in the class dictionary.
 NEXT TEST 
 TBR TEST
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test1.input
Running the class dictionary checker...
 *** ERROR: Class R violates TBR. Class Ident is not the only part class.
 *** ERROR: Class Ident is not defined in the class dictionary.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class V violates TBR. Class Ident is not the only part class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test2.input
Running the class dictionary checker...
 *** ERROR: Class common is not defined in the class dictionary.
 *** ERROR: Class C violates TBR. Class String is not the only part class.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class C violates TBR. Class Ident is not the only part class.
 *** ERROR: Class Ident is not defined in the class dictionary.
 *** ERROR: Class H violates TBR. Class Boolean is not the only part class.
 *** ERROR: Class Boolean is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test3.input
Running the class dictionary checker...
 *** ERROR: Part string of class C is not unique
 *** ERROR: Class C violates TBR. Class String is not the only part class.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class common is not defined in the class dictionary.
 *** ERROR: Class C violates TBR. Class String is not the only part class.
 *** ERROR: Class Ident is not defined in the class dictionary.
 NEXT TEST 
 FLATTEN TEST
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test1.input
Running the class dictionary checker...
 *** ERROR: Class C violates TBR. Class String is not the only part class.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class H violates TBR. Class Boolean is not the only part class.
 *** ERROR: Class Boolean is not defined in the class dictionary.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test2.input
Running the class dictionary checker...
 *** ERROR: Class C violates TBR. Class String is not the only part class.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class H violates TBR. Class Boolean is not the only part class.
 *** ERROR: Class Boolean is not defined in the class dictionary.
 NEXT TEST 
Running the class dictionary checker...
 *** ERROR: Class S is defined more than once in the class dictionary.
 *** ERROR: Class Ident is not defined in the class dictionary.
 *** ERROR: Class String is not defined in the class dictionary.
 *** ERROR: Class Labeled violates TBR. Class Ident is not the only part class.