tree 529fe1e6b7f0c848e74086ed17ba944b64864b89
parent 40b2808ea1e83ee742b13a6cb31534cb28064d1f
author Till Westmann <tillw@apache.org> 1486753187 -0800
committer Till Westmann <tillw@apache.org> 1487023419 -0800

Report integer metrics as numbers

Change-Id: Ie330ba0e030d188adbf675741c382cf2754853f1
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1496
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@apache.org>