/[eiffelstudio]/branches/eth/eve/Src/framework/auto_fix/utility/afx_fixer.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/auto_fix/utility/afx_fixer.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 95331 by maxpei, Sat Jun 21 22:38:32 2014 UTC revision 95332 by maxpei, Fri Jun 27 12:57:49 2014 UTC
# Line 248  feature{NONE} -- Implementation Line 248  feature{NONE} -- Implementation
248                                  create Result.make_default                                  create Result.make_default
249                          end                          end
250                          l_feature_contract_remover.undo_last_removal                          l_feature_contract_remover.undo_last_removal
251                            compile_project (Eiffel_project, True)
252    
253                          event_actions.notify_on_weakest_contract_inference_finished (a_feature_to_relax)                          event_actions.notify_on_weakest_contract_inference_finished (a_feature_to_relax)
254                  end                  end
# Line 324  feature{NONE} -- Implementation Line 325  feature{NONE} -- Implementation
325    
326                                          -- Restore the preconditions.                                          -- Restore the preconditions.
327                                  l_feature_contract_remover.undo_last_removal                                  l_feature_contract_remover.undo_last_removal
328                                    compile_project (Eiffel_project, True)
329    
330                                          -- Validate fixes w.r.t. the observed traces.                                          -- Validate fixes w.r.t. the observed traces.
331                                  a_contract_fixes.do_all (                                  a_contract_fixes.do_all (

Legend:
Removed from v.95331  
changed lines
  Added in v.95332

  ViewVC Help
Powered by ViewVC 1.1.23