tests: update the sav/ for nitg ang niti
authorJean Privat <jean@pryen.org>
Tue, 16 Oct 2012 20:01:44 +0000 (16:01 -0400)
committerJean Privat <jean@pryen.org>
Mon, 22 Oct 2012 20:49:41 +0000 (16:49 -0400)
commit322d59adda02f518c3fcbb9491c2426f941613f3
tree77f5d20c33da08953ffda032b9af15ef00e706b1
parent24a2c50443d9187d738115931f3caecd21eb178c
tests: update the sav/ for nitg ang niti

Signed-off-by: Jean Privat <jean@pryen.org>
322 files changed:
tests/sav/base_array_alt1.res [new file with mode: 0644]
tests/sav/base_as_cast.res [new file with mode: 0644]
tests/sav/base_as_cast_alt1.res [new file with mode: 0644]
tests/sav/base_as_cast_alt2.res [new file with mode: 0644]
tests/sav/base_as_cast_alt3.res [new file with mode: 0644]
tests/sav/base_as_cast_alt4.res [new file with mode: 0644]
tests/sav/base_as_cast_alt5.res [new file with mode: 0644]
tests/sav/base_as_cast_alt6.res [new file with mode: 0644]
tests/sav/base_as_notnull.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt1.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt2.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt3.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt4.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt5.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt6.res [new file with mode: 0644]
tests/sav/base_as_notnull_alt7.res [new file with mode: 0644]
tests/sav/base_attr3_alt1.res [new file with mode: 0644]
tests/sav/base_attr3_alt2.res [new file with mode: 0644]
tests/sav/base_attr3_alt3.res [new file with mode: 0644]
tests/sav/base_attr3_alt4.res [new file with mode: 0644]
tests/sav/base_attr7_alt1.res [new file with mode: 0644]
tests/sav/base_attr7_alt2.res [new file with mode: 0644]
tests/sav/base_attr7_alt3.res [new file with mode: 0644]
tests/sav/base_attr_isset_alt3.res [new file with mode: 0644]
tests/sav/base_attr_isset_alt4.res [new file with mode: 0644]
tests/sav/base_attr_nullable_alt2.res [new file with mode: 0644]
tests/sav/base_attr_nullable_int_alt2.res [new file with mode: 0644]
tests/sav/base_eq_null_notnull.res [new file with mode: 0644]
tests/sav/base_if_expr_alt1.res [new file with mode: 0644]
tests/sav/base_init_simple_alt1.res [new file with mode: 0644]
tests/sav/base_isa.res [new file with mode: 0644]
tests/sav/base_label_do_alt6.res [new file with mode: 0644]
tests/sav/base_label_for_alt6.res [new file with mode: 0644]
tests/sav/base_label_loop_alt6.res [new file with mode: 0644]
tests/sav/base_label_while_alt6.res [new file with mode: 0644]
tests/sav/base_prot2_alt1.res [new file with mode: 0644]
tests/sav/base_prot2_alt2.res [new file with mode: 0644]
tests/sav/base_prot2_alt3.res [new file with mode: 0644]
tests/sav/base_prot2_alt4.res [new file with mode: 0644]
tests/sav/base_prot2_alt5.res [new file with mode: 0644]
tests/sav/base_range_alt1.res [new file with mode: 0644]
tests/sav/base_range_alt2.res [new file with mode: 0644]
tests/sav/base_sig_inh_alt1.res [new file with mode: 0644]
tests/sav/base_types_formal_and_virtual2.res [new file with mode: 0644]
tests/sav/base_upcast2.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt1.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt10.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt2.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt3.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt4.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt5.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt6.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt7.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt8.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt1_alt9.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt1.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt10.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt2.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt3.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt4.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt5.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt6.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt7.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt8.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt4_alt9.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt1.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt10.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt2.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt3.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt4.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt5.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt6.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt7.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt8.res [new file with mode: 0644]
tests/sav/base_upcast2_1alt5_alt9.res [new file with mode: 0644]
tests/sav/base_upcast2_alt1.res [new file with mode: 0644]
tests/sav/base_upcast2_alt10.res [new file with mode: 0644]
tests/sav/base_upcast2_alt2.res [new file with mode: 0644]
tests/sav/base_upcast2_alt3.res [new file with mode: 0644]
tests/sav/base_upcast2_alt4.res [new file with mode: 0644]
tests/sav/base_upcast2_alt5.res [new file with mode: 0644]
tests/sav/base_upcast2_alt6.res [new file with mode: 0644]
tests/sav/base_upcast2_alt7.res [new file with mode: 0644]
tests/sav/base_upcast2_alt8.res [new file with mode: 0644]
tests/sav/base_upcast2_alt9.res [new file with mode: 0644]
tests/sav/base_var2_alt1.res [new file with mode: 0644]
tests/sav/base_var2_alt2.res [new file with mode: 0644]
tests/sav/base_var2_alt3.res [new file with mode: 0644]
tests/sav/base_var2_alt4.res [new file with mode: 0644]
tests/sav/base_var2_alt5.res [new file with mode: 0644]
tests/sav/base_var2_alt6.res [new file with mode: 0644]
tests/sav/base_var2_alt9.res [new file with mode: 0644]
tests/sav/base_var_type_evolution_null3.res [new file with mode: 0644]
tests/sav/base_var_type_evolution_null3_alt1.res [new file with mode: 0644]
tests/sav/base_var_type_evolution_nullable.res [new file with mode: 0644]
tests/sav/base_var_untyped_alt6.res [new file with mode: 0644]
tests/sav/base_vararg_alt1.res [new file with mode: 0644]
tests/sav/base_vararg_alt2.res [new file with mode: 0644]
tests/sav/base_vararg_alt3.res [new file with mode: 0644]
tests/sav/base_vararg_alt4.res [new file with mode: 0644]
tests/sav/base_vararg_alt5.res [new file with mode: 0644]
tests/sav/base_vararg_alt6.res [new file with mode: 0644]
tests/sav/base_vararg_alt7.res [new file with mode: 0644]
tests/sav/base_vararg_alt8.res [new file with mode: 0644]
tests/sav/base_virtual_type3_alt1.res [new file with mode: 0644]
tests/sav/base_virtual_type7.res [new file with mode: 0644]
tests/sav/base_virtual_type_self_alt1.res [new file with mode: 0644]
tests/sav/base_virtual_type_self_alt2.res [new file with mode: 0644]
tests/sav/base_virtual_type_self_alt3.res [new file with mode: 0644]
tests/sav/base_virtual_type_self_alt4.res [new file with mode: 0644]
tests/sav/base_virtual_type_self_alt5.res [new file with mode: 0644]
tests/sav/error_array_ambig.res [new file with mode: 0644]
tests/sav/error_attr_2def.res [new file with mode: 0644]
tests/sav/error_class_generic_alt1.res [new file with mode: 0644]
tests/sav/error_class_generic_alt2.res [new file with mode: 0644]
tests/sav/error_class_generic_alt3.res [new file with mode: 0644]
tests/sav/error_class_generic_alt4.res [new file with mode: 0644]
tests/sav/error_class_generic_alt5.res [new file with mode: 0644]
tests/sav/error_class_generic_alt6.res [new file with mode: 0644]
tests/sav/error_cons_arity.res [new file with mode: 0644]
tests/sav/error_cons_arity2.res [new file with mode: 0644]
tests/sav/error_constraint.res [new file with mode: 0644]
tests/sav/error_defs_alt1.res [new file with mode: 0644]
tests/sav/error_defs_alt2.res [new file with mode: 0644]
tests/sav/error_defs_alt4.res [new file with mode: 0644]
tests/sav/error_defs_alt5.res [new file with mode: 0644]
tests/sav/error_defs_alt6.res [new file with mode: 0644]
tests/sav/error_defs_alt7.res [new file with mode: 0644]
tests/sav/error_defs_alt8.res [new file with mode: 0644]
tests/sav/error_expr_not_ok.res [new file with mode: 0644]
tests/sav/error_expr_not_ok_alt2.res [new file with mode: 0644]
tests/sav/error_expr_not_ok_alt3.res [new file with mode: 0644]
tests/sav/error_expr_not_ok_alt6.res [new file with mode: 0644]
tests/sav/error_gen_f_inh_clash.res [new file with mode: 0644]
tests/sav/error_init_auto.res [new file with mode: 0644]
tests/sav/error_init_auto_alt1.res [new file with mode: 0644]
tests/sav/error_init_auto_alt2.res [new file with mode: 0644]
tests/sav/error_init_auto_alt3.res [new file with mode: 0644]
tests/sav/error_kern_attr_int.res [new file with mode: 0644]
tests/sav/error_meth_2def.res [new file with mode: 0644]
tests/sav/error_meth_2def2.res [new file with mode: 0644]
tests/sav/error_mod_unk.res [new file with mode: 0644]
tests/sav/error_needed_method_alt1.res [new file with mode: 0644]
tests/sav/error_needed_method_alt3.res [new file with mode: 0644]
tests/sav/error_needed_method_alt6.res [new file with mode: 0644]
tests/sav/error_needed_types_alt1.res [new file with mode: 0644]
tests/sav/error_needed_types_alt2.res [new file with mode: 0644]
tests/sav/error_needed_types_alt3.res [new file with mode: 0644]
tests/sav/error_needed_types_alt4.res [new file with mode: 0644]
tests/sav/error_needed_types_alt6.res [new file with mode: 0644]
tests/sav/error_needed_types_alt7.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt2.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt3.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt5.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt6.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt7.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt8.res [new file with mode: 0644]
tests/sav/error_redef2_1alt1_alt9.res [new file with mode: 0644]
tests/sav/error_redef2_1alt2_alt1.res [new file with mode: 0644]
tests/sav/error_redef2_1alt2_alt4.res [new file with mode: 0644]
tests/sav/error_redef2_1alt2_alt7.res [new file with mode: 0644]
tests/sav/error_redef2_1alt2_alt8.res [new file with mode: 0644]
tests/sav/error_redef2_1alt2_alt9.res [new file with mode: 0644]
tests/sav/error_redef2_1alt3_alt2.res [new file with mode: 0644]
tests/sav/error_redef2_1alt3_alt3.res [new file with mode: 0644]
tests/sav/error_redef2_1alt3_alt5.res [new file with mode: 0644]
tests/sav/error_redef2_1alt3_alt6.res [new file with mode: 0644]
tests/sav/error_redef2_1alt3_alt8.res [new file with mode: 0644]
tests/sav/error_redef2_1alt3_alt9.res [new file with mode: 0644]
tests/sav/error_redef2_1alt4_alt1.res [new file with mode: 0644]
tests/sav/error_redef2_1alt4_alt4.res [new file with mode: 0644]
tests/sav/error_redef2_1alt4_alt7.res [new file with mode: 0644]
tests/sav/error_redef2_1alt4_alt9.res [new file with mode: 0644]
tests/sav/error_redef2_alt3.res [new file with mode: 0644]
tests/sav/error_redef2_alt6.res [new file with mode: 0644]
tests/sav/error_redef2_alt9.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt2.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt3.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt5.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt6.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt7.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt8.res [new file with mode: 0644]
tests/sav/error_redef_1alt1_alt9.res [new file with mode: 0644]
tests/sav/error_redef_1alt2_alt1.res [new file with mode: 0644]
tests/sav/error_redef_1alt2_alt4.res [new file with mode: 0644]
tests/sav/error_redef_1alt2_alt7.res [new file with mode: 0644]
tests/sav/error_redef_1alt2_alt8.res [new file with mode: 0644]
tests/sav/error_redef_1alt2_alt9.res [new file with mode: 0644]
tests/sav/error_redef_1alt3_alt2.res [new file with mode: 0644]
tests/sav/error_redef_1alt3_alt3.res [new file with mode: 0644]
tests/sav/error_redef_1alt3_alt5.res [new file with mode: 0644]
tests/sav/error_redef_1alt3_alt6.res [new file with mode: 0644]
tests/sav/error_redef_1alt3_alt8.res [new file with mode: 0644]
tests/sav/error_redef_1alt3_alt9.res [new file with mode: 0644]
tests/sav/error_redef_1alt4_alt1.res [new file with mode: 0644]
tests/sav/error_redef_1alt4_alt2.res [new file with mode: 0644]
tests/sav/error_redef_1alt4_alt4.res [new file with mode: 0644]
tests/sav/error_redef_1alt4_alt7.res [new file with mode: 0644]
tests/sav/error_redef_alt3.res [new file with mode: 0644]
tests/sav/error_redef_alt6.res [new file with mode: 0644]
tests/sav/error_redef_alt9.res [new file with mode: 0644]
tests/sav/error_ref_attr.res [new file with mode: 0644]
tests/sav/error_ref_proc.res [new file with mode: 0644]
tests/sav/error_ref_ret.res [new file with mode: 0644]
tests/sav/error_spe_attr.res [new file with mode: 0644]
tests/sav/error_spe_param2.res [new file with mode: 0644]
tests/sav/error_spe_proc.res [new file with mode: 0644]
tests/sav/error_spe_ret.res [new file with mode: 0644]
tests/sav/error_type_not_ok5.res [new file with mode: 0644]
tests/sav/error_type_not_ok5_alt1.res [new file with mode: 0644]
tests/sav/error_type_unk.res [new file with mode: 0644]
tests/sav/error_type_unk_alt2.res [new file with mode: 0644]
tests/sav/error_type_unk_alt6.res [new file with mode: 0644]
tests/sav/error_type_unk_alt7.res [new file with mode: 0644]
tests/sav/fixme/base_gen_f.res [new file with mode: 0644]
tests/sav/fixme/base_isa_cast4_alt5.res [new file with mode: 0644]
tests/sav/fixme/base_no_object_alt1.res [new file with mode: 0644]
tests/sav/fixme/base_virtual_type3.res [new file with mode: 0644]
tests/sav/fixme/base_virtual_type_check_alt10.res [new file with mode: 0644]
tests/sav/fixme/base_virtual_type_check_alt8.res [new file with mode: 0644]
tests/sav/fixme/error_gen_f_inh_clash.res [new file with mode: 0644]
tests/sav/fixme/error_inh_clash.res [new file with mode: 0644]
tests/sav/fixme/error_inh_loop.res [new file with mode: 0644]
tests/sav/fixme/error_needed_method_alt5.res [new file with mode: 0644]
tests/sav/fixme/error_needed_types_alt5.res [new file with mode: 0644]
tests/sav/fixme/error_prop_loc.res [new file with mode: 0644]
tests/sav/fixme/error_redef_1alt4_alt5.res [new file with mode: 0644]
tests/sav/fixme/error_redef_1alt4_alt9.res [new file with mode: 0644]
tests/sav/fixme/error_ref_param.res [new file with mode: 0644]
tests/sav/fixme/error_req_loop1.res [new file with mode: 0644]
tests/sav/fixme/error_req_loop2.res [new file with mode: 0644]
tests/sav/fixme/error_spe_param.res [new file with mode: 0644]
tests/sav/fixme/rterror_null_receiver_alt5.res [new file with mode: 0644]
tests/sav/fixme/test_gen_inh.res [new file with mode: 0644]
tests/sav/fixme/test_inheritance_raf.res [new file with mode: 0644]
tests/sav/fixme/test_multiconstraint_inh.res [new file with mode: 0644]
tests/sav/fixme/test_refinement.res [new file with mode: 0644]
tests/sav/fixme/test_super_explicit.res [new file with mode: 0644]
tests/sav/fixme/test_variance_param_alt1.res [new file with mode: 0644]
tests/sav/fixme/test_variance_param_alt2.res [new file with mode: 0644]
tests/sav/fixme/test_variance_param_alt3.res [new file with mode: 0644]
tests/sav/fixme/test_variance_param_alt4.res [new file with mode: 0644]
tests/sav/fixme/test_variance_param_alt5.res [new file with mode: 0644]
tests/sav/fixme/test_variance_param_alt6.res [new file with mode: 0644]
tests/sav/nitdoc.res [new file with mode: 0644]
tests/sav/nitdoc_args1.res [new file with mode: 0644]
tests/sav/nitg/base_classid.res [new file with mode: 0644]
tests/sav/nitg/base_isa_nil.res [new file with mode: 0644]
tests/sav/nitg/error_needed_method_alt4.res [new file with mode: 0644]
tests/sav/nitg/error_needed_method_alt7.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_abstract_fun_alt1.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_gen.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_gen_alt1.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_init_val2.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_nullable_int_alt1.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_nullable_int_alt2.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_nullable_int_alt3.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_nullable_int_alt4.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_attr_nullable_int_alt5.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_class_name.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_conflict_submodule_name.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_conflict_submodule_name_alt1.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_conflict_submodule_name_alt2.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_empty_module.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_output_class_name.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_types_formal_and_virtual.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_types_formal_and_virtual2.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_types_formal_and_virtual3.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_types_formal_and_virtual4.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_virtual_type_check_alt10.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_virtual_type_check_alt8.res [new file with mode: 0644]
tests/sav/nitg/fixme/error_needed_method_alt5.res [new file with mode: 0644]
tests/sav/nitg/fixme/error_needed_types.res [new file with mode: 0644]
tests/sav/nitg/fixme/error_prop_glob.res [new file with mode: 0644]
tests/sav/nitg/fixme/error_prop_loc.res [new file with mode: 0644]
tests/sav/nitg/fixme/error_req_loop1.res [new file with mode: 0644]
tests/sav/nitg/fixme/error_req_loop2.res [new file with mode: 0644]
tests/sav/nitg/fixme/extern_methods.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver_alt1.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver_alt2.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver_alt3.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver_alt4.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver_alt5.res [new file with mode: 0644]
tests/sav/nitg/fixme/rterror_null_receiver_alt6.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_attr_easy.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_exec.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_exec_ls.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_extern.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_fdstream.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_float.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_gc_forced.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_md5.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_variance_param_alt1.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_variance_param_alt2.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_variance_param_alt3.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_variance_param_alt4.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_variance_param_alt5.res [new file with mode: 0644]
tests/sav/nitg/fixme/test_variance_param_alt6.res [new file with mode: 0644]
tests/sav/nitg/test_string_to_f.res [new file with mode: 0644]
tests/sav/niti/base_classid.res [new file with mode: 0644]
tests/sav/niti/base_isa_nil.res [new file with mode: 0644]
tests/sav/niti/error_needed_method_alt4.res [new file with mode: 0644]
tests/sav/niti/error_needed_method_alt7.res [new file with mode: 0644]
tests/sav/niti/fixme/error_needed_method_alt5.res [new file with mode: 0644]
tests/sav/nits.res [new file with mode: 0644]
tests/sav/rterror_null_receiver_alt4.res [new file with mode: 0644]
tests/sav/rterror_null_receiver_alt6.res [new file with mode: 0644]
tests/sav/test_array_comb_alt1.res [new file with mode: 0644]
tests/sav/test_array_comb_alt2.res [new file with mode: 0644]
tests/sav/test_attr_easy.res [new file with mode: 0644]
tests/sav/test_isa.res [new file with mode: 0644]
tests/sav/test_multiconstraint.res [new file with mode: 0644]
tests/sav/test_multiconstraint_ref.res [new file with mode: 0644]
tests/sav/test_multiconstraint_ref2.res [new file with mode: 0644]
tests/sav/test_paire.res [new file with mode: 0644]
tests/sav/test_return.res [new file with mode: 0644]
tests/sav/test_variance_attr.res [new file with mode: 0644]
tests/sav/warn_par.res [new file with mode: 0644]