tree 7bc231c570fc3d2665b139d2e476fbb7acc29db9
parent 2a956099d460de430cf7addde3ec30cbb6556225
author Thomas Gamper <eiszapfen2000@gmail.com> 1506433202 +0200
committer Sameer Agarwal <sameeragarwal@google.com> 1506519560 +0000

Report timings with microsecond resolution

In case one has a small problem to solve, where
completion is reached within a few milliseconds,
then four decimal places are not enough to accurately
represent the timings of all the separate sub-steps.
Thus, we extend the reported timings to include
six decimal places.

Change-Id: Iaf88a94a1b8896ea7370c75b1de2f05d8671206e