From 08f58ab276dc92d5e875483f7ec1337a95addc0f Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 12 Nov 2006 22:47:29 +0000
Subject: [PATCH] change number of failures to mean the number actually
 injected as opposed to the number of time the injection routine was called

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

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 0a804eba..cf45bfd5 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -466,11 +466,11 @@ void injectinstructionfailure() {
   if (injectinstructionfailures) {
     if (numfailures==0)
       return;
-    if (numfailures>0)
-      numfailures--;
     instructioncount=failurecount;    
     instaccum+=failurecount;
     if ((((double)random())/RAND_MAX)<instfailurechance) {
+      if (numfailures>0)
+	numfailures--;
       printf("FAILURE!!!\n");
       longjmp(error_handler,11);
     }
-- 
2.34.1