From: bdemsky <bdemsky>
Date: Fri, 18 Mar 2011 08:37:57 +0000 (+0000)
Subject: more changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e6e60969ce12c2612fc5a8861bdc8598688c3180;p=IRC.git

more changes
---

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 62d9d844..832479ab 100644
--- 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();
     }