master updated (8fc4794 -> 78de0da)

[Mathieu Othacehe]

mothacehe pushed a change to branch master.

    from 8fc4794  tests: Improve metrics testing.
     new 822dbb3  Log metrics update duration.
     new 78de0da  metrics: Add evaluation related metrics.


Summary of changes:
 bin/cuirass.in          |   4 +-
 src/cuirass/metrics.scm | 100 +++++++++++++++++++++++++++++++++++++++++++++++-
 tests/metrics.scm       |  47 +++++++++++++++++------
 3 files changed, 136 insertions(+), 15 deletions(-)