online_ide: update to the new API of the loader

[nit.git] / tests / nitmetrics.args

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