metrics: add poset_metrics
authorJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 15:58:20 +0000 (11:58 -0400)
committerJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 15:58:43 +0000 (11:58 -0400)
commitca9acbf9fecafdef8a33dc49f3b9984a8b08bca0
treeb426fdcc9d3600a35197b5238dba235c04f1f705
parent0b24d9e974b0651b1ce0e5a7071666f65a7fdcca
metrics: add poset_metrics

Signed-off-by: Jean Privat <jean@pryen.org>
src/metrics/metrics.nit
src/metrics/metrics_base.nit
src/metrics/poset_metrics.nit [new file with mode: 0644]
tests/sav/nitmetrics.res
tests/sav/nitmetrics_args1.res
tests/sav/nitmetrics_args1.sav