/[eiffelstudio]
ViewVC logotype

Revision 95505


Jump to revision: Previous Next
Author: maxpei
Date: Thu Jul 24 11:02:02 2014 UTC (5 years, 1 month ago)
Changed paths: 8
Log Message:
AutoDebug: fixed a bug in invoking AutoTest with a given seed;
AutoDebug: changed the fixing process to start with making a new copy of the project.
AutoFix: construct also boolean-valued calls like Current.feature_name (Int) for state monitoring.
AutoFix: execution traces may get modified during impl-fixing, causing the following contract-fixing to fail; Now we create a deep copy of the traces for later use.

Changed paths

Path Details
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/data/es_adb_info_center.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/data/es_adb_working_directory.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/panels/es_adb_panel_faults.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/panels/es_adb_panel_settings.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/process/es_adb_regular_testing_process.e modified , text changed
Directorybranches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/process/es_adb_relaxed_testing_process.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/utility/afx_fixer.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/expression/generation/afx_sub_expression_collector.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23