1) Step through system until the reference 'eiffel_system_object' is created, in the expression evaluator make sure that call to 'eiffel_system_object.type_info' returns a valid type object, then step over so that the l_system_object is assigned with the 'eiffel_system_object' reference, then check that 'l_system_object.get_type' works correctly, both are calling the same feature but have different names at their static type level.

2) Step through 'eiffel_type' and 'eiffel_single_type' creations and check that the associating routines may be accessed, get_type, out

3) As 'eiffel_single_type' derives from ARRAY_LIST, call the following .net specific features, add ("abc"), add(5), add(5.0) to make sure that they perform as expected, check the values of count and capacity after each addition to make sure that they are correct.

4) Check that the .net define my_property in the root class can be accessed and set by the expression evaluator using all the ways to set the property 'my_property := "abc"' set_my_property ("abc"), check that the property value is set on each property setting.

5) Check that exceptions are handled correctly force a null reference exception and check that the exception is raised, and that running then exits.

The attached system compiled on .Net 2.0