/[eiffelstudio]
ViewVC logotype

Revision 98118


Jump to revision: Previous Next
Author: maxpei
Date: Thu Nov 19 13:59:02 2015 UTC (3 years, 9 months ago)
Changed paths: 8
Log Message:
Fixed a fault in AutoFix. Due to the fault, violated contract expression may not be used as a fixing target.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/afx_feature_to_monitor.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/monitoring/afx_execution_monitor.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/utility/afx_failure_reproducer.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/compilation/epa_compilation_utility.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/contract/aut_feature_contract_remover.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/contract/epa_feature_contract_remover.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/expression/expression/epa_quantified_expression.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23