tests/nitsaf.args

   1 --analysis reaching-defs test_saf/simple1.nit
   2 --analysis reaching-defs test_saf/simple2.nit
   3 --analysis reaching-defs test_saf/flow_if1.nit
   4 --analysis reaching-defs test_saf/flow_if2.nit
   5 --analysis reaching-defs test_saf/flow_if3.nit
   6 --analysis reaching-defs test_saf/flow_loop1.nit
   7 --analysis reaching-defs test_saf/flow_loop2.nit
   8 --analysis reaching-defs test_saf/flow_loop3.nit
   9 --analysis reaching-defs test_saf/flow_fun1.nit
  10 --analysis reaching-defs test_saf/flow_fun2.nit