Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EQA_SYNTHESIZED_TEST_SET General obsolete: "Use EQA_GENERATED_TEST_SET instead" cluster: testing description: "Set of tests which have been created using test generation. This class is obsolete, please use EQA_GENERATED_TEST_SET." Ancestors EQA_GENERATED_TEST_SET Queries asserter: [like new_asserter] EQA_ASSERTIONS environment: EQA_ENVIRONMENT file_system: [like new_file_system] EQA_FILE_SYSTEM is_prepared: BOOLEAN Source_path_key: STRING_8 Target_path_key: STRING_8 Test_name_key: STRING_8 Testing_directory_key: STRING_8 Commands assert (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN) assert_32 (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN) set_asserter (a: [like asserter] EQA_ASSERTIONS)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org