From e6e60969ce12c2612fc5a8861bdc8598688c3180 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 18 Mar 2011 08:37:57 +0000
Subject: [PATCH] more changes

---
 Robust/src/Analysis/Pointer/Pointer.java | 7 +++++++
 1 file changed, 7 insertions(+)

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();
     }
-- 
2.34.1