milli to micro

src/tools/ftbench/ftbench.c

@@ -312,7 +312,7 @@
     }
 
     if ( done )
-      printf( "%10.1f ms %10d done\n",
+      printf( "%10.1f microseconds %10d done\n",
               TIMER_GET( &timer ), done );
     else
       printf( "no error-free calls\n" );

src/tools/ftbench/src/tohtml.py

@@ -132,10 +132,10 @@ def generate_results_table(html_file, baseline_results, benchmark_results, filen
     for baseline_line, benchmark_line in zip(baseline_results, benchmark_results):
         if baseline_line.startswith("  "):
             baseline_match = re.match(
-                r"\s+(.*?)\s+(\d+\.\d+)\s+ms\s+(\d+)\s", baseline_line
+                r"\s+(.*?)\s+(\d+\.\d+)\s+microseconds\s+(\d+)\s", baseline_line
             )
             benchmark_match = re.match(
-                r"\s+(.*?)\s+(\d+\.\d+)\s+ms\s+(\d+)\s", benchmark_line
+                r"\s+(.*?)\s+(\d+\.\d+)\s+microseconds\s+(\d+)\s", benchmark_line
             )
 
             if baseline_match and benchmark_match: