more changes

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 62d9d844c21d478e114dca6098f1f92dfb733305..832479ab4f943a7adb82001a12f4e531bc71eeb3 100644 (file)
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -103,6 +103,8 @@ public class Pointer implements HeapAnalysis{
   }
 
   public void doAnalysis() {
+    double timeStartAnalysis = (double) System.nanoTime();
+
     toprocess.add(buildInitialContext());
     nextdelta:
     while(!toprocess.isEmpty()) {
@@ -178,6 +180,11 @@ public class Pointer implements HeapAnalysis{
        debugindex++;
       } 
     }
+
+    double timeEndAnalysis = (double) System.nanoTime();
+    double dt = (timeEndAnalysis - timeStartAnalysis)/(Math.pow( 10.0, 9.0 ) );
+    System.out.println("Time taken: "+dt);
+
     if (OoOJava) {
       effectsAnalysis.buildStateMachines.writeStateMachines();
     }