/[eiffelstudio]
ViewVC logotype

Revision 88405


Jump to revision: Previous Next
Author: mpei
Date: Thu Mar 15 05:17:21 2012 UTC (7 years, 6 months ago)
Changed paths: 5
Log Message:
Fixed a few faults in AutoFix.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/afx_shared_dynamic_analysis_report.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/invariant/afx_program_execution_invariant_detecter.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/fault_localization/dynamic_analysis/ranking/afx_program_state_ranker.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_fix/strategies/model_based/state_retrieval/test_case_analysis/afx_precondition_assertion_rewriter.e modified , text changed
Directorybranches/eth/eve/Src/framework/eiffel_transform/Visitors/Printers/etr_context_transforming_visitor.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23