Automatic generation produced by ISE Eiffel
note description: "Objects that represent test cases" author: "Software Engineering Lab, York University" deferred class interface ES_TEST_CASE end -- class ES_TEST_CASE -- Generated by ISE Eiffel --
For more details: www.eiffel.com