/[eiffelstudio]
ViewVC logotype

Revision 90571


Jump to revision: Previous Next
Author: maxpei
Date: Mon Jan 14 08:17:32 2013 UTC (6 years, 8 months ago)
Changed paths: 11
Log Message:
Fixed some more STRING-input-related bugs in AutoTest/AutoFix.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/testing/tty/ewb_auto_test.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/state_expression/afx_sub_expression_collector.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/state_expression/expression_server/afx_server_variables_in_scope.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/auto_test_command_line_parser.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/test_generator.e modified , text changed
Directorybranches/eth/eve/Src/framework/contract_inference/inference/ci_dnf_inferrer.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/expression/state/epa_shared_string_equality_tester_general.e added
Directorybranches/eth/eve/Src/framework/program_analysis/expression/state/epa_string_case_insensitive_eqality_tester.e added
Directorybranches/eth/eve/Src/framework/program_analysis/expression/state/epa_string_eqality_tester.e added
Directorybranches/eth/eve/Src/framework/program_analysis/expression/state/epa_string_hash_set.e added
Directorybranches/eth/eve/Src/framework/program_analysis/expression/state/epa_string_hash_table.e added

  ViewVC Help
Powered by ViewVC 1.1.23