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 c6b8e98..9efd294 100644 (file)
--- a/tests/nitmetrics.args
+++ b/tests/nitmetrics.args
@@ -1 +1,2 @@
 --no-colors --all --csv base_simple3.nit -d $WRITE
+--detect-variance-constraints base_ft_detect_variance_constraints.nit