Changes between Version 38 and Version 39 of path:pathMap

Timestamp:

12/13/2013 04:30:31 PM (10 years ago)

Author:

michael.perscheid

Comment:

--

path:pathMap

@@ -127 +127 @@
  ''No Harvester'' drop down list (top):: Choose the inductive analysis mode. So far, we support the analysis of type information and value ranges. 
 
- Color legend:: Depending on the analysis, this legend shows the colors for the summarized results in our tree map. 
+ Color legend:: Depending on the analysis, this legend shows the tree map colors of the summarized results. 
 
  ''Add Contracts'' button:: After the inductive analysis is done and results are available, this button allows developers to add derived likely invariants as assertions and contracts to the involved methods. This works completely automatic and can be seen afterwards in our [wiki:path:pathBrowser PathBrowser]. The contracts will be built with all available likely invariants and not only with the last analysis run.  
 
- ''Remove Contracts'' button:: Removes existing contracts from the source code. Also manually adapted contracts will be deleted.
+ ''Remove Contracts'' button:: Remove all existing contracts from the source code. Also manually adapted contracts will be deleted.
 
 === Traceability Flap ===