/[eiffelstudio]/branches/eth/eve/Src/framework/program_analysis/contract/aut_feature_contract_remover.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/program_analysis/contract/aut_feature_contract_remover.e

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

revision 98117 by maxpei, Thu Mar 13 13:12:57 2014 UTC revision 98118 by maxpei, Thu Nov 19 13:59:02 2015 UTC
# Line 221  feature{NONE} -- Access Line 221  feature{NONE} -- Access
221                                          Result.force_last (l_rout.postcondition.assertions)                                          Result.force_last (l_rout.postcondition.assertions)
222                                  end                                  end
223                                  collect_checks_from_feature (a_feature)                                  collect_checks_from_feature (a_feature)
224                                  Result.extend_last (check_lists)                                  Result.append_last (check_lists)
225                          end                          end
226                  end                  end
227    

Legend:
Removed from v.98117  
changed lines
  Added in v.98118

  ViewVC Help
Powered by ViewVC 1.1.23