1) Instrumentation code to count model rebuilds, etc...

[repair.git] / Repair / RepairCompiler / MCC / Runtime / danfile.cc

diff --git a/Repair/RepairCompiler/MCC/Runtime/danfile.cc b/Repair/RepairCompiler/MCC/Runtime/danfile.cc
index 4832151c2566a48a5c49e3de6b42f97e0fb81785..b3a42b93b50523611504b3b90a88358f14293b38 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Runtime/danfile.cc
+++ b/Repair/RepairCompiler/MCC/Runtime/danfile.cc
@@ -440,7 +440,7 @@ int main(int argc, char **argv)
 
     time += selfcheck2(ptr);
     
 
     time += selfcheck2(ptr);
     

-    printf("\ncompiled: %u us\n", (time/50));    
+    printf("\ncompiled: %u us\n", (time));    

 
     break;
   }
 
     break;
   }


@@ -529,6 +529,8 @@ int main(int argc, char **argv)
   case '8': {
     {
       struct block * ptr=chmountdisk("disk");
   case '8': {
     {
       struct block * ptr=chmountdisk("disk");

+      int t=selfcheck2(ptr);
+      printf("\ncompiled: %u us\n", (t));    

       chunmountdisk(ptr);
     }
     struct block * ptr=mountdisk("disk");
       chunmountdisk(ptr);
     }
     struct block * ptr=mountdisk("disk");


@@ -569,7 +571,7 @@ int main(int argc, char **argv)
     }
     unmountdisk(ptr);
   }
     }
     unmountdisk(ptr);
   }

-
+  break;

   case '9': {
     for(int i=0;i<MAXFILES;i++)
       files[i].used=false;
   case '9': {
     for(int i=0;i<MAXFILES;i++)
       files[i].used=false;