parser: regenerate with lambda

[nit.git] / tests / nitsaf.args

diff --git a/tests/nitsaf.args b/tests/nitsaf.args
index 457c2de..c99a22b 100644 (file)
--- a/tests/nitsaf.args
+++ b/tests/nitsaf.args
@@ -1,2 +1,10 @@
 --analysis reaching-defs test_saf/simple1.nit
 --analysis reaching-defs test_saf/simple2.nit
+--analysis reaching-defs test_saf/flow_if1.nit
+--analysis reaching-defs test_saf/flow_if2.nit
+--analysis reaching-defs test_saf/flow_if3.nit
+--analysis reaching-defs test_saf/flow_loop1.nit
+--analysis reaching-defs test_saf/flow_loop2.nit
+--analysis reaching-defs test_saf/flow_loop3.nit
+--analysis reaching-defs test_saf/flow_fun1.nit
+--analysis reaching-defs test_saf/flow_fun2.nit