change number of failures to mean the number actually injected as opposed to the...

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 0a804eba1ae88f45fa71b259b9c504045578a7c4..cf45bfd5c46329bf0868d6e5c29315b713c4757b 100644 (file)
--- 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);
     }