Merge remote-tracking branch 'upstream/master' into init_auto

[nit.git] / tests / nitmetrics.args

diff --git a/tests/nitmetrics.args b/tests/nitmetrics.args
index 9efd294..c4de3fe 100644 (file)
--- a/tests/nitmetrics.args
+++ b/tests/nitmetrics.args
@@ -1,2 +1,3 @@
 --no-colors --all --csv base_simple3.nit -d $WRITE
 --detect-variance-constraints base_ft_detect_variance_constraints.nit
+--readme --csv -d $WRITE test_prog/