Clean results directory before using incremental analysis

Summary: This calls the method `delete_capture_and_analysis_data` introduced in D17184424 once the appropriate specs files for incremental analysis have been deleted. This fixes two bugs that I observed in incremental analysis that were arising because of stale state left in the results directory.

Reviewed By: ngorogiannis

Differential Revision: D17184424

fbshipit-source-id: d63f59db9

infer/src/backend/InferAnalyze.ml

@@ -173,7 +173,8 @@ let invalidate_changed_procedures changed_files =
     ScubaLogging.log_count ~label:"incremental_analysis.total_nodes" ~value:total_nodes ;
     ScubaLogging.log_count ~label:"incremental_analysis.invalidated_nodes" ~value:invalidated_nodes ;
     (* save some memory *)
-    CallGraph.reset reverse_callgraph )
+    CallGraph.reset reverse_callgraph ;
+    ResultsDir.delete_capture_and_results_data () )
 
 
 let main ~changed_files =