From 0a050f3dcf3d4a73e4a500476bdfef004361fe90 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 8 Nov 2006 19:50:24 +0000
Subject: [PATCH] Print out instruction counts.

---
 Robust/src/Runtime/runtime.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 23e5b29a..8a0ecbac 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -38,6 +38,7 @@ int injectinstructionfailures;
 int failurecount;
 float instfailurechance=0;
 int numfailures;
+int instaccum=0;
 
 void processOptions() {
   int i;
@@ -82,6 +83,7 @@ void processOptions() {
       options=strchr(options,' ');
       if (options!=NULL) options++;
 
+      instaccum=failurecount;
       instructioncount=failurecount;
       injectinstructionfailures=1;
       printf("Number of failures=%d\n",numfailures);
@@ -413,9 +415,9 @@ void executetasks() {
 	  }
 	  /* Actually call task */
 	  if (debugtask) {
-	    printf("ENTER %s\n",tpd->task->name);
+	    printf("ENTER %s count=%d\n",tpd->task->name, (instaccum-instructioncount));
 	    ((void (*) (void **)) tpd->task->taskptr)(taskpointerarray);
-	    printf("EXIT %s\n",tpd->task->name);
+	    printf("EXIT %s count=%d\n",tpd->task->name, (instaccum-instructioncount));
 	  } else
 	    ((void (*) (void **)) tpd->task->taskptr)(taskpointerarray);
 	}
@@ -463,6 +465,7 @@ void injectinstructionfailure() {
     if (numfailures>0)
       numfailures--;
     instructioncount=failurecount;    
+    instaccum+=failurecount;
     if ((((double)random())/RAND_MAX)<instfailurechance) {
       printf("FAILURE!!!\n");
       longjmp(error_handler,11);
-- 
2.34.1