From 62ed4b014151279686df01934e227d7ee0bf70e4 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Sat, 16 Nov 2013 09:29:10 -0500 Subject: [PATCH] tests: remove old nitc Signed-off-by: Jean Privat --- tests/Makefile | 15 +- tests/nitc.args | 2 - tests/nitc.skip | 1 - tests/sav/nitc.res | 32 -- tests/sav/nitc/base_array_alt1.res | 1 - tests/sav/nitc/base_as_notnull.res | 14 - tests/sav/nitc/base_as_notnull_alt1.res | 6 - tests/sav/nitc/base_as_notnull_alt2.res | 6 - tests/sav/nitc/base_as_notnull_alt3.res | 5 - tests/sav/nitc/base_as_notnull_alt4.res | 5 - tests/sav/nitc/base_as_notnull_alt5.res | 15 - tests/sav/nitc/base_as_notnull_alt6.res | 15 - tests/sav/nitc/base_as_notnull_alt7.res | 5 - tests/sav/nitc/base_attr3_alt1.res | 10 - tests/sav/nitc/base_attr3_alt2.res | 17 - tests/sav/nitc/base_attr3_alt3.res | 17 - tests/sav/nitc/base_attr3_alt4.res | 17 - tests/sav/nitc/base_attr5_alt12.res | 2 - tests/sav/nitc/base_attr5_alt14.res | 2 - tests/sav/nitc/base_attr5_alt21.res | 2 - tests/sav/nitc/base_attr5_alt23.res | 2 - tests/sav/nitc/base_attr5_alt5.res | 2 - tests/sav/nitc/base_attr7_alt1.res | 1 - tests/sav/nitc/base_attr7_alt2.res | 1 - tests/sav/nitc/base_attr7_alt3.res | 2 - tests/sav/nitc/base_attr_init_val_raf_alt1.res | 1 - tests/sav/nitc/base_attr_isset_alt3.res | 10 - tests/sav/nitc/base_attr_isset_alt4.res | 10 - tests/sav/nitc/base_attr_nullable_int_alt2.res | 2 - tests/sav/nitc/base_autocast_alt1.res | 4 - tests/sav/nitc/base_autocast_alt2.res | 4 - tests/sav/nitc/base_class_name.res | 6 - tests/sav/nitc/base_classid.res | 12 - tests/sav/nitc/base_covar_int2_alt1.res | 3 - tests/sav/nitc/base_covar_int2_alt3.res | 4 - tests/sav/nitc/base_covar_int2_alt5.res | 4 - tests/sav/nitc/base_covar_int_alt1.res | 3 - tests/sav/nitc/base_covar_int_alt3.res | 4 - tests/sav/nitc/base_covar_int_alt5.res | 4 - tests/sav/nitc/base_div_by_zero.res | 4 - tests/sav/nitc/base_eq_null_notnull.res | 14 - tests/sav/nitc/base_gen_bound_alt1.res | 1 - tests/sav/nitc/base_gen_bound_alt2.res | 2 - tests/sav/nitc/base_gen_bound_alt3.res | 2 - tests/sav/nitc/base_gen_bound_alt4.res | 2 - tests/sav/nitc/base_gen_bound_alt5.res | 2 - tests/sav/nitc/base_gen_bound_alt6.res | 2 - tests/sav/nitc/base_gen_bound_alt7.res | 2 - tests/sav/nitc/base_gen_variance2_alt1.res | 5 - tests/sav/nitc/base_gen_variance_alt7.res | 10 - tests/sav/nitc/base_gen_variance_alt8.res | 10 - tests/sav/nitc/base_if_expr_alt1.res | 1 - tests/sav/nitc/base_init_simple_alt1.res | 3 - tests/sav/nitc/base_isa1.res | 5 - tests/sav/nitc/base_isa_cast4_alt5.res | 1 - tests/sav/nitc/base_isa_nil.res | 16 - tests/sav/nitc/base_isa_vt_gen1.res | 2 - tests/sav/nitc/base_label_do_alt4.res | 1 - tests/sav/nitc/base_label_do_alt6.res | 1 - tests/sav/nitc/base_label_do_alt8.res | 1 - tests/sav/nitc/base_label_for_alt6.res | 1 - tests/sav/nitc/base_label_loop_alt6.res | 1 - tests/sav/nitc/base_label_while_alt6.res | 1 - tests/sav/nitc/base_ni_alt5.res | 1 - tests/sav/nitc/base_no_object.res | 1 - tests/sav/nitc/base_no_object_alt1.res | 2 - tests/sav/nitc/base_orelse2.res | 2 - tests/sav/nitc/base_output_class_name.res | 6 - tests/sav/nitc/base_prot2_alt1.res | 1 - tests/sav/nitc/base_prot2_alt2.res | 1 - tests/sav/nitc/base_prot2_alt3.res | 1 - tests/sav/nitc/base_prot2_alt4.res | 1 - tests/sav/nitc/base_prot2_alt5.res | 1 - tests/sav/nitc/base_range_alt1.res | 1 - tests/sav/nitc/base_range_alt2.res | 1 - tests/sav/nitc/base_sig_inh_alt1.res | 1 - tests/sav/nitc/base_super_linext.res | 8 - tests/sav/nitc/base_super_linext_raf.res | 8 - tests/sav/nitc/base_upcast2.res | 2 - tests/sav/nitc/base_upcast2_alt1.res | 2 - tests/sav/nitc/base_upcast2_alt10.res | 2 - tests/sav/nitc/base_upcast2_alt2.res | 2 - tests/sav/nitc/base_upcast2_alt3.res | 2 - tests/sav/nitc/base_upcast2_alt4.res | 2 - tests/sav/nitc/base_upcast2_alt5.res | 2 - tests/sav/nitc/base_upcast2_alt6.res | 2 - tests/sav/nitc/base_upcast2_alt7.res | 2 - tests/sav/nitc/base_upcast2_alt8.res | 2 - tests/sav/nitc/base_upcast2_alt9.res | 2 - tests/sav/nitc/base_var2_alt1.res | 1 - tests/sav/nitc/base_var2_alt2.res | 1 - tests/sav/nitc/base_var2_alt3.res | 1 - tests/sav/nitc/base_var2_alt4.res | 1 - tests/sav/nitc/base_var2_alt5.res | 1 - tests/sav/nitc/base_var2_alt6.res | 1 - tests/sav/nitc/base_var2_alt9.res | 1 - tests/sav/nitc/base_var_type_evolution_null3.res | 4 - .../nitc/base_var_type_evolution_null3_alt1.res | 2 - .../sav/nitc/base_var_type_evolution_nullable.res | 4 - tests/sav/nitc/base_var_untyped_alt6.res | 2 - tests/sav/nitc/base_vararg_alt1.res | 1 - tests/sav/nitc/base_vararg_alt2.res | 1 - tests/sav/nitc/base_vararg_alt3.res | 1 - tests/sav/nitc/base_vararg_alt4.res | 1 - tests/sav/nitc/base_vararg_alt5.res | 1 - tests/sav/nitc/base_vararg_alt6.res | 1 - tests/sav/nitc/base_vararg_alt7.res | 1 - tests/sav/nitc/base_vararg_alt8.res | 1 - tests/sav/nitc/base_virtual_int2_alt2.res | 3 - tests/sav/nitc/base_virtual_int_alt2.res | 3 - tests/sav/nitc/base_virtual_type7.res | 1 - tests/sav/nitc/base_virtual_type_check_alt10.res | 26 -- tests/sav/nitc/base_virtual_type_check_alt8.res | 25 -- .../nitc/base_virtual_type_variance_int_alt1.res | 2 - tests/sav/nitc/error_array_ambig.res | 1 - tests/sav/nitc/error_class_generic_alt2.res | 1 - tests/sav/nitc/error_defs_alt5.res | 2 - tests/sav/nitc/error_expr_not_ok.res | 158 --------- tests/sav/nitc/error_expr_not_ok_alt2.res | 107 ------ tests/sav/nitc/error_expr_not_ok_alt3.res | 106 ------ tests/sav/nitc/error_expr_not_ok_alt4.res | 110 ------ tests/sav/nitc/error_expr_not_ok_alt5.res | 111 ------ tests/sav/nitc/error_expr_not_ok_alt6.res | 110 ------ tests/sav/nitc/error_for_coll.res | 1 - tests/sav/nitc/error_gen_f_inh_clash.res | 1 - tests/sav/nitc/error_inh_clash.res | 1 - tests/sav/nitc/error_inh_clash2.res | 1 - tests/sav/nitc/error_inh_clash3.res | 1 - tests/sav/nitc/error_inh_clash4.res | 1 - tests/sav/nitc/error_inh_loop.res | 1 - tests/sav/nitc/error_init_auto.res | 4 - tests/sav/nitc/error_init_auto_alt1.res | 4 - tests/sav/nitc/error_init_auto_alt2.res | 4 - tests/sav/nitc/error_init_auto_alt3.res | 4 - tests/sav/nitc/error_kern_attr_int.res | 1 - tests/sav/nitc/error_mod_unk.res | 1 - tests/sav/nitc/error_needed_method_alt1.res | 1 - tests/sav/nitc/error_needed_method_alt2.res | 1 - tests/sav/nitc/error_needed_method_alt3.res | 1 - tests/sav/nitc/error_needed_method_alt4.res | 1 - tests/sav/nitc/error_needed_method_alt6.res | 1 - tests/sav/nitc/error_needed_method_alt7.res | 1 - tests/sav/nitc/error_needed_types_alt1.res | 1 - tests/sav/nitc/error_needed_types_alt2.res | 1 - tests/sav/nitc/error_needed_types_alt3.res | 1 - tests/sav/nitc/error_needed_types_alt4.res | 1 - tests/sav/nitc/error_needed_types_alt6.res | 1 - tests/sav/nitc/error_needed_types_alt7.res | 1 - tests/sav/nitc/error_needed_types_alt8.res | 1 - tests/sav/nitc/error_redef2_1alt1_alt9.res | 2 - tests/sav/nitc/error_redef2_1alt2_alt9.res | 2 - tests/sav/nitc/error_redef2_1alt3_alt9.res | 2 - tests/sav/nitc/error_redef2_1alt4_alt9.res | 2 - tests/sav/nitc/error_redef2_alt3.res | 1 - tests/sav/nitc/error_redef2_alt6.res | 1 - tests/sav/nitc/error_redef2_alt9.res | 2 - tests/sav/nitc/error_redef_1alt1_alt2.res | 1 - tests/sav/nitc/error_redef_1alt1_alt3.res | 1 - tests/sav/nitc/error_redef_1alt1_alt5.res | 1 - tests/sav/nitc/error_redef_1alt1_alt6.res | 1 - tests/sav/nitc/error_redef_1alt1_alt7.res | 1 - tests/sav/nitc/error_redef_1alt1_alt8.res | 2 - tests/sav/nitc/error_redef_1alt1_alt9.res | 2 - tests/sav/nitc/error_redef_1alt2_alt1.res | 1 - tests/sav/nitc/error_redef_1alt2_alt4.res | 1 - tests/sav/nitc/error_redef_1alt2_alt7.res | 2 - tests/sav/nitc/error_redef_1alt2_alt8.res | 1 - tests/sav/nitc/error_redef_1alt2_alt9.res | 1 - tests/sav/nitc/error_redef_1alt3_alt2.res | 2 - tests/sav/nitc/error_redef_1alt3_alt3.res | 1 - tests/sav/nitc/error_redef_1alt3_alt5.res | 2 - tests/sav/nitc/error_redef_1alt3_alt6.res | 1 - tests/sav/nitc/error_redef_1alt3_alt8.res | 1 - tests/sav/nitc/error_redef_1alt3_alt9.res | 2 - tests/sav/nitc/error_redef_1alt4_alt1.res | 1 - tests/sav/nitc/error_redef_1alt4_alt2.res | 1 - tests/sav/nitc/error_redef_1alt4_alt4.res | 1 - tests/sav/nitc/error_redef_1alt4_alt7.res | 1 - tests/sav/nitc/error_redef_alt3.res | 2 - tests/sav/nitc/error_redef_alt6.res | 2 - tests/sav/nitc/error_redef_alt9.res | 3 - tests/sav/nitc/error_ref_attr.res | 1 - tests/sav/nitc/error_ref_proc.res | 1 - tests/sav/nitc/error_ref_ret.res | 1 - tests/sav/nitc/error_separate_options.res | 3 - tests/sav/nitc/error_spe_attr.res | 1 - tests/sav/nitc/error_spe_param2.res | 1 - tests/sav/nitc/error_spe_proc.res | 1 - tests/sav/nitc/error_spe_ret.res | 1 - .../sav/nitc/error_superclass_superfluous_alt5.res | 1 - tests/sav/nitc/error_type_not_ok5.res | 6 - tests/sav/nitc/error_type_not_ok5_alt1.res | 6 - tests/sav/nitc/error_type_unk.res | 2 - tests/sav/nitc/error_type_unk_alt2.res | 2 - tests/sav/nitc/error_type_unk_alt6.res | 3 - tests/sav/nitc/error_type_unk_alt7.res | 3 - tests/sav/nitc/fixme/base_at_cached.res | 21 -- tests/sav/nitc/fixme/base_attr_gen_alt1.res | 1 - tests/sav/nitc/fixme/base_closure_multi_alt5.res | 9 - tests/sav/nitc/fixme/base_closure_raf.res | 7 - tests/sav/nitc/fixme/base_closure_raf_alt1.res | 5 - tests/sav/nitc/fixme/base_closure_raf_alt10.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt11.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt12.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt13.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt14.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt15.res | 7 - tests/sav/nitc/fixme/base_closure_raf_alt2.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt3.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt4.res | 5 - tests/sav/nitc/fixme/base_closure_raf_alt5.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt6.res | 6 - tests/sav/nitc/fixme/base_closure_raf_alt7.res | 1 - tests/sav/nitc/fixme/base_closure_raf_alt8.res | 4 - tests/sav/nitc/fixme/base_closure_raf_alt9.res | 1 - tests/sav/nitc/fixme/base_covar_gen_1alt1_alt1.res | 1 - tests/sav/nitc/fixme/base_covar_gen_1alt1_alt2.res | 1 - tests/sav/nitc/fixme/base_covar_gen_alt3.res | 1 - tests/sav/nitc/fixme/base_covar_gen_alt4.res | 1 - tests/sav/nitc/fixme/base_eq2_float.res | 68 ---- tests/sav/nitc/fixme/base_eq_float.res | 68 ---- tests/sav/nitc/fixme/base_formal_isa.res | 23 -- tests/sav/nitc/fixme/base_gen_reassign.res | 1 - tests/sav/nitc/fixme/base_gen_reassign_alt1.res | 1 - tests/sav/nitc/fixme/base_gen_reassign_alt2.res | 1 - tests/sav/nitc/fixme/base_gen_reassign_alt3.res | 3 - tests/sav/nitc/fixme/base_gen_reassign_alt4.res | 1 - tests/sav/nitc/fixme/base_gen_reassign_alt5.res | 1 - tests/sav/nitc/fixme/base_gen_reassign_alt6.res | 2 - tests/sav/nitc/fixme/base_gen_variance2_alt2.res | 5 - tests/sav/nitc/fixme/base_gen_variance3_alt1.res | 4 - tests/sav/nitc/fixme/base_gen_variance_alt3.res | 11 - tests/sav/nitc/fixme/base_gen_variance_alt5.res | 10 - tests/sav/nitc/fixme/base_gen_variance_alt6.res | 10 - .../sav/nitc/fixme/base_gen_variance_int_alt1.res | 2 - tests/sav/nitc/fixme/base_isa_formal_type.res | 63 ---- tests/sav/nitc/fixme/base_isa_gen.res | 49 --- tests/sav/nitc/fixme/base_isa_gen1.res | 4 - tests/sav/nitc/fixme/base_isa_gen4.res | 5 - tests/sav/nitc/fixme/base_isa_gen5.res | 5 - tests/sav/nitc/fixme/base_isa_gen7.res | 1 - tests/sav/nitc/fixme/base_isa_nullable1.res | 6 - tests/sav/nitc/fixme/base_isa_nullable2.res | 5 - tests/sav/nitc/fixme/base_isa_nullable_vt2.res | 1 - tests/sav/nitc/fixme/base_isa_vt3.res | 1 - tests/sav/nitc/fixme/base_isa_vt_ft.res | 1 - tests/sav/nitc/fixme/base_isa_vt_gen3.res | 1 - tests/sav/nitc/fixme/base_iterator1.res | 2 - tests/sav/nitc/fixme/base_iterator2.res | 2 - tests/sav/nitc/fixme/base_iterator3.res | 5 - tests/sav/nitc/fixme/base_ni_alt1.res | 1 - .../nitc/fixme/base_types_formal_and_virtual2.res | 1 - tests/sav/nitc/fixme/base_vararg2.res | 36 -- tests/sav/nitc/fixme/base_vararg2_alt1.res | 39 --- tests/sav/nitc/fixme/base_vararg2_alt2.res | 39 --- tests/sav/nitc/fixme/base_vararg2_alt3.res | 39 --- tests/sav/nitc/fixme/base_vararg2_alt4.res | 39 --- tests/sav/nitc/fixme/base_vararg2_alt5.res | 39 --- .../sav/nitc/fixme/base_virtual_type_self_alt1.res | 4 - .../sav/nitc/fixme/base_virtual_type_self_alt2.res | 4 - .../sav/nitc/fixme/base_virtual_type_self_alt3.res | 4 - .../sav/nitc/fixme/base_virtual_type_self_alt4.res | 4 - .../sav/nitc/fixme/base_virtual_type_self_alt5.res | 4 - .../nitc/fixme/base_virtual_type_variance_alt3.res | 11 - .../nitc/fixme/base_virtual_type_variance_alt6.res | 10 - .../nitc/fixme/base_virtual_type_variance_alt8.res | 10 - .../nitc/fixme/error_visibility_protected_alt2.res | 1 - .../nitc/fixme/error_visibility_protected_alt4.res | 1 - .../nitc/fixme/error_visibility_protected_alt8.res | 1 - .../nitc/fixme/error_visibility_protected_alt9.res | 1 - tests/sav/nitc/fixme/test_paire.res | 2 - tests/sav/nitc/nitmetrics_args1.res | 368 -------------------- tests/sav/nitc/rterror_attr_def_alt7.res | 1 - tests/sav/nitc/test_array_comb_alt1.res | 1 - tests/sav/nitc/test_array_comb_alt2.res | 1 - tests/sav/nitc/test_array_formal.res | 51 --- tests/sav/nitc/test_variance_attr.res | 2 - tests/sav/nitc/test_variance_param_alt1.res | 4 - tests/sav/nitc/test_variance_param_alt2.res | 5 - tests/sav/nitc/test_variance_param_alt3.res | 7 - tests/sav/nitc/test_variance_param_alt4.res | 7 - tests/sav/nitc/test_variance_param_alt5.res | 8 - tests/sav/nitc/test_variance_param_alt6.res | 13 - tests/sav/nitc_args1.res | 1 - tests/sav/nitc_args2.res | 10 - tests/sav/nits.res | 14 - tests/testall.sh | 2 +- tests/testfull.sh | 2 +- tests/tests.sh | 7 +- tests/tests_icode.sh | 204 ----------- 290 files changed, 7 insertions(+), 2759 deletions(-) delete mode 100644 tests/nitc.args delete mode 100644 tests/nitc.skip delete mode 100644 tests/sav/nitc.res delete mode 100644 tests/sav/nitc/base_array_alt1.res delete mode 100644 tests/sav/nitc/base_as_notnull.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt1.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt2.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt3.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt4.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt5.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt6.res delete mode 100644 tests/sav/nitc/base_as_notnull_alt7.res delete mode 100644 tests/sav/nitc/base_attr3_alt1.res delete mode 100644 tests/sav/nitc/base_attr3_alt2.res delete mode 100644 tests/sav/nitc/base_attr3_alt3.res delete mode 100644 tests/sav/nitc/base_attr3_alt4.res delete mode 100644 tests/sav/nitc/base_attr5_alt12.res delete mode 100644 tests/sav/nitc/base_attr5_alt14.res delete mode 100644 tests/sav/nitc/base_attr5_alt21.res delete mode 100644 tests/sav/nitc/base_attr5_alt23.res delete mode 100644 tests/sav/nitc/base_attr5_alt5.res delete mode 100644 tests/sav/nitc/base_attr7_alt1.res delete mode 100644 tests/sav/nitc/base_attr7_alt2.res delete mode 100644 tests/sav/nitc/base_attr7_alt3.res delete mode 100644 tests/sav/nitc/base_attr_init_val_raf_alt1.res delete mode 100644 tests/sav/nitc/base_attr_isset_alt3.res delete mode 100644 tests/sav/nitc/base_attr_isset_alt4.res delete mode 100644 tests/sav/nitc/base_attr_nullable_int_alt2.res delete mode 100644 tests/sav/nitc/base_autocast_alt1.res delete mode 100644 tests/sav/nitc/base_autocast_alt2.res delete mode 100644 tests/sav/nitc/base_class_name.res delete mode 100644 tests/sav/nitc/base_classid.res delete mode 100644 tests/sav/nitc/base_covar_int2_alt1.res delete mode 100644 tests/sav/nitc/base_covar_int2_alt3.res delete mode 100644 tests/sav/nitc/base_covar_int2_alt5.res delete mode 100644 tests/sav/nitc/base_covar_int_alt1.res delete mode 100644 tests/sav/nitc/base_covar_int_alt3.res delete mode 100644 tests/sav/nitc/base_covar_int_alt5.res delete mode 100644 tests/sav/nitc/base_div_by_zero.res delete mode 100644 tests/sav/nitc/base_eq_null_notnull.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt1.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt2.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt3.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt4.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt5.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt6.res delete mode 100644 tests/sav/nitc/base_gen_bound_alt7.res delete mode 100644 tests/sav/nitc/base_gen_f.res delete mode 100644 tests/sav/nitc/base_gen_variance2_alt1.res delete mode 100644 tests/sav/nitc/base_gen_variance_alt7.res delete mode 100644 tests/sav/nitc/base_gen_variance_alt8.res delete mode 100644 tests/sav/nitc/base_if_expr_alt1.res delete mode 100644 tests/sav/nitc/base_init_simple_alt1.res delete mode 100644 tests/sav/nitc/base_isa1.res delete mode 100644 tests/sav/nitc/base_isa_cast4_alt5.res delete mode 100644 tests/sav/nitc/base_isa_nil.res delete mode 100644 tests/sav/nitc/base_isa_vt_gen1.res delete mode 100644 tests/sav/nitc/base_label_do_alt4.res delete mode 100644 tests/sav/nitc/base_label_do_alt6.res delete mode 100644 tests/sav/nitc/base_label_do_alt8.res delete mode 100644 tests/sav/nitc/base_label_for_alt6.res delete mode 100644 tests/sav/nitc/base_label_loop_alt6.res delete mode 100644 tests/sav/nitc/base_label_while_alt6.res delete mode 100644 tests/sav/nitc/base_ni_alt5.res delete mode 100644 tests/sav/nitc/base_no_object.res delete mode 100644 tests/sav/nitc/base_no_object_alt1.res delete mode 100644 tests/sav/nitc/base_orelse2.res delete mode 100644 tests/sav/nitc/base_output_class_name.res delete mode 100644 tests/sav/nitc/base_prot2_alt1.res delete mode 100644 tests/sav/nitc/base_prot2_alt2.res delete mode 100644 tests/sav/nitc/base_prot2_alt3.res delete mode 100644 tests/sav/nitc/base_prot2_alt4.res delete mode 100644 tests/sav/nitc/base_prot2_alt5.res delete mode 100644 tests/sav/nitc/base_range_alt1.res delete mode 100644 tests/sav/nitc/base_range_alt2.res delete mode 100644 tests/sav/nitc/base_sig_inh_alt1.res delete mode 100644 tests/sav/nitc/base_super_linext.res delete mode 100644 tests/sav/nitc/base_super_linext_raf.res delete mode 100644 tests/sav/nitc/base_upcast2.res delete mode 100644 tests/sav/nitc/base_upcast2_alt1.res delete mode 100644 tests/sav/nitc/base_upcast2_alt10.res delete mode 100644 tests/sav/nitc/base_upcast2_alt2.res delete mode 100644 tests/sav/nitc/base_upcast2_alt3.res delete mode 100644 tests/sav/nitc/base_upcast2_alt4.res delete mode 100644 tests/sav/nitc/base_upcast2_alt5.res delete mode 100644 tests/sav/nitc/base_upcast2_alt6.res delete mode 100644 tests/sav/nitc/base_upcast2_alt7.res delete mode 100644 tests/sav/nitc/base_upcast2_alt8.res delete mode 100644 tests/sav/nitc/base_upcast2_alt9.res delete mode 100644 tests/sav/nitc/base_var2_alt1.res delete mode 100644 tests/sav/nitc/base_var2_alt2.res delete mode 100644 tests/sav/nitc/base_var2_alt3.res delete mode 100644 tests/sav/nitc/base_var2_alt4.res delete mode 100644 tests/sav/nitc/base_var2_alt5.res delete mode 100644 tests/sav/nitc/base_var2_alt6.res delete mode 100644 tests/sav/nitc/base_var2_alt9.res delete mode 100644 tests/sav/nitc/base_var_type_evolution_null3.res delete mode 100644 tests/sav/nitc/base_var_type_evolution_null3_alt1.res delete mode 100644 tests/sav/nitc/base_var_type_evolution_nullable.res delete mode 100644 tests/sav/nitc/base_var_untyped_alt6.res delete mode 100644 tests/sav/nitc/base_vararg_alt1.res delete mode 100644 tests/sav/nitc/base_vararg_alt2.res delete mode 100644 tests/sav/nitc/base_vararg_alt3.res delete mode 100644 tests/sav/nitc/base_vararg_alt4.res delete mode 100644 tests/sav/nitc/base_vararg_alt5.res delete mode 100644 tests/sav/nitc/base_vararg_alt6.res delete mode 100644 tests/sav/nitc/base_vararg_alt7.res delete mode 100644 tests/sav/nitc/base_vararg_alt8.res delete mode 100644 tests/sav/nitc/base_virtual_int2_alt2.res delete mode 100644 tests/sav/nitc/base_virtual_int_alt2.res delete mode 100644 tests/sav/nitc/base_virtual_type7.res delete mode 100644 tests/sav/nitc/base_virtual_type_check_alt10.res delete mode 100644 tests/sav/nitc/base_virtual_type_check_alt8.res delete mode 100644 tests/sav/nitc/base_virtual_type_variance_int_alt1.res delete mode 100644 tests/sav/nitc/error_array_ambig.res delete mode 100644 tests/sav/nitc/error_class_generic_alt2.res delete mode 100644 tests/sav/nitc/error_defs_alt5.res delete mode 100644 tests/sav/nitc/error_expr_not_ok.res delete mode 100644 tests/sav/nitc/error_expr_not_ok_alt2.res delete mode 100644 tests/sav/nitc/error_expr_not_ok_alt3.res delete mode 100644 tests/sav/nitc/error_expr_not_ok_alt4.res delete mode 100644 tests/sav/nitc/error_expr_not_ok_alt5.res delete mode 100644 tests/sav/nitc/error_expr_not_ok_alt6.res delete mode 100644 tests/sav/nitc/error_for_coll.res delete mode 100644 tests/sav/nitc/error_formal_name.res delete mode 100644 tests/sav/nitc/error_gen_f_inh_clash.res delete mode 100644 tests/sav/nitc/error_inh_clash.res delete mode 100644 tests/sav/nitc/error_inh_clash2.res delete mode 100644 tests/sav/nitc/error_inh_clash3.res delete mode 100644 tests/sav/nitc/error_inh_clash4.res delete mode 100644 tests/sav/nitc/error_inh_loop.res delete mode 100644 tests/sav/nitc/error_init_auto.res delete mode 100644 tests/sav/nitc/error_init_auto_alt1.res delete mode 100644 tests/sav/nitc/error_init_auto_alt2.res delete mode 100644 tests/sav/nitc/error_init_auto_alt3.res delete mode 100644 tests/sav/nitc/error_kern_attr_int.res delete mode 100644 tests/sav/nitc/error_mod_unk.res delete mode 100644 tests/sav/nitc/error_needed_method_alt1.res delete mode 100644 tests/sav/nitc/error_needed_method_alt2.res delete mode 100644 tests/sav/nitc/error_needed_method_alt3.res delete mode 100644 tests/sav/nitc/error_needed_method_alt4.res delete mode 100644 tests/sav/nitc/error_needed_method_alt6.res delete mode 100644 tests/sav/nitc/error_needed_method_alt7.res delete mode 100644 tests/sav/nitc/error_needed_types_alt1.res delete mode 100644 tests/sav/nitc/error_needed_types_alt2.res delete mode 100644 tests/sav/nitc/error_needed_types_alt3.res delete mode 100644 tests/sav/nitc/error_needed_types_alt4.res delete mode 100644 tests/sav/nitc/error_needed_types_alt5.res delete mode 100644 tests/sav/nitc/error_needed_types_alt6.res delete mode 100644 tests/sav/nitc/error_needed_types_alt7.res delete mode 100644 tests/sav/nitc/error_needed_types_alt8.res delete mode 100644 tests/sav/nitc/error_redef2_1alt1_alt9.res delete mode 100644 tests/sav/nitc/error_redef2_1alt2_alt9.res delete mode 100644 tests/sav/nitc/error_redef2_1alt3_alt9.res delete mode 100644 tests/sav/nitc/error_redef2_1alt4_alt9.res delete mode 100644 tests/sav/nitc/error_redef2_alt3.res delete mode 100644 tests/sav/nitc/error_redef2_alt6.res delete mode 100644 tests/sav/nitc/error_redef2_alt9.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt2.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt3.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt5.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt6.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt7.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt8.res delete mode 100644 tests/sav/nitc/error_redef_1alt1_alt9.res delete mode 100644 tests/sav/nitc/error_redef_1alt2_alt1.res delete mode 100644 tests/sav/nitc/error_redef_1alt2_alt4.res delete mode 100644 tests/sav/nitc/error_redef_1alt2_alt7.res delete mode 100644 tests/sav/nitc/error_redef_1alt2_alt8.res delete mode 100644 tests/sav/nitc/error_redef_1alt2_alt9.res delete mode 100644 tests/sav/nitc/error_redef_1alt3_alt2.res delete mode 100644 tests/sav/nitc/error_redef_1alt3_alt3.res delete mode 100644 tests/sav/nitc/error_redef_1alt3_alt5.res delete mode 100644 tests/sav/nitc/error_redef_1alt3_alt6.res delete mode 100644 tests/sav/nitc/error_redef_1alt3_alt8.res delete mode 100644 tests/sav/nitc/error_redef_1alt3_alt9.res delete mode 100644 tests/sav/nitc/error_redef_1alt4_alt1.res delete mode 100644 tests/sav/nitc/error_redef_1alt4_alt2.res delete mode 100644 tests/sav/nitc/error_redef_1alt4_alt4.res delete mode 100644 tests/sav/nitc/error_redef_1alt4_alt7.res delete mode 100644 tests/sav/nitc/error_redef_alt3.res delete mode 100644 tests/sav/nitc/error_redef_alt6.res delete mode 100644 tests/sav/nitc/error_redef_alt9.res delete mode 100644 tests/sav/nitc/error_ref_attr.res delete mode 100644 tests/sav/nitc/error_ref_proc.res delete mode 100644 tests/sav/nitc/error_ref_ret.res delete mode 100644 tests/sav/nitc/error_separate_options.res delete mode 100644 tests/sav/nitc/error_spe_attr.res delete mode 100644 tests/sav/nitc/error_spe_param2.res delete mode 100644 tests/sav/nitc/error_spe_proc.res delete mode 100644 tests/sav/nitc/error_spe_ret.res delete mode 100644 tests/sav/nitc/error_superclass_superfluous_alt1.res delete mode 100644 tests/sav/nitc/error_superclass_superfluous_alt2.res delete mode 100644 tests/sav/nitc/error_superclass_superfluous_alt3.res delete mode 100644 tests/sav/nitc/error_superclass_superfluous_alt4.res delete mode 100644 tests/sav/nitc/error_superclass_superfluous_alt5.res delete mode 100644 tests/sav/nitc/error_type_not_ok5.res delete mode 100644 tests/sav/nitc/error_type_not_ok5_alt1.res delete mode 100644 tests/sav/nitc/error_type_unk.res delete mode 100644 tests/sav/nitc/error_type_unk_alt2.res delete mode 100644 tests/sav/nitc/error_type_unk_alt6.res delete mode 100644 tests/sav/nitc/error_type_unk_alt7.res delete mode 100644 tests/sav/nitc/fixme/base_at_cached.res delete mode 100644 tests/sav/nitc/fixme/base_attr_gen_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_closure_multi_alt5.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt10.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt11.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt12.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt13.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt14.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt15.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt2.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt4.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt5.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt6.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt7.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt8.res delete mode 100644 tests/sav/nitc/fixme/base_closure_raf_alt9.res delete mode 100644 tests/sav/nitc/fixme/base_covar_gen_1alt1_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_covar_gen_1alt1_alt2.res delete mode 100644 tests/sav/nitc/fixme/base_covar_gen_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_covar_gen_alt4.res delete mode 100644 tests/sav/nitc/fixme/base_eq2_float.res delete mode 100644 tests/sav/nitc/fixme/base_eq_float.res delete mode 100644 tests/sav/nitc/fixme/base_formal_isa.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign_alt2.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign_alt4.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign_alt5.res delete mode 100644 tests/sav/nitc/fixme/base_gen_reassign_alt6.res delete mode 100644 tests/sav/nitc/fixme/base_gen_variance2_alt2.res delete mode 100644 tests/sav/nitc/fixme/base_gen_variance3_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_gen_variance_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_gen_variance_alt5.res delete mode 100644 tests/sav/nitc/fixme/base_gen_variance_alt6.res delete mode 100644 tests/sav/nitc/fixme/base_gen_variance_int_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_isa_formal_type.res delete mode 100644 tests/sav/nitc/fixme/base_isa_gen.res delete mode 100644 tests/sav/nitc/fixme/base_isa_gen1.res delete mode 100644 tests/sav/nitc/fixme/base_isa_gen4.res delete mode 100644 tests/sav/nitc/fixme/base_isa_gen5.res delete mode 100644 tests/sav/nitc/fixme/base_isa_gen7.res delete mode 100644 tests/sav/nitc/fixme/base_isa_nullable1.res delete mode 100644 tests/sav/nitc/fixme/base_isa_nullable2.res delete mode 100644 tests/sav/nitc/fixme/base_isa_nullable_vt2.res delete mode 100644 tests/sav/nitc/fixme/base_isa_vt3.res delete mode 100644 tests/sav/nitc/fixme/base_isa_vt_ft.res delete mode 100644 tests/sav/nitc/fixme/base_isa_vt_gen3.res delete mode 100644 tests/sav/nitc/fixme/base_iterator1.res delete mode 100644 tests/sav/nitc/fixme/base_iterator2.res delete mode 100644 tests/sav/nitc/fixme/base_iterator3.res delete mode 100644 tests/sav/nitc/fixme/base_ni_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_types_formal_and_virtual2.res delete mode 100644 tests/sav/nitc/fixme/base_vararg2.res delete mode 100644 tests/sav/nitc/fixme/base_vararg2_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_vararg2_alt2.res delete mode 100644 tests/sav/nitc/fixme/base_vararg2_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_vararg2_alt4.res delete mode 100644 tests/sav/nitc/fixme/base_vararg2_alt5.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_self_alt1.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_self_alt2.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_self_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_self_alt4.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_self_alt5.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_variance_alt3.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_variance_alt6.res delete mode 100644 tests/sav/nitc/fixme/base_virtual_type_variance_alt8.res delete mode 100644 tests/sav/nitc/fixme/error_prop_glob.res delete mode 100644 tests/sav/nitc/fixme/error_visibility_protected_alt2.res delete mode 100644 tests/sav/nitc/fixme/error_visibility_protected_alt4.res delete mode 100644 tests/sav/nitc/fixme/error_visibility_protected_alt8.res delete mode 100644 tests/sav/nitc/fixme/error_visibility_protected_alt9.res delete mode 100644 tests/sav/nitc/fixme/test_paire.res delete mode 100644 tests/sav/nitc/nitmetrics_args1.res delete mode 100644 tests/sav/nitc/rterror_attr_def_alt7.res delete mode 100644 tests/sav/nitc/test_array_comb_alt1.res delete mode 100644 tests/sav/nitc/test_array_comb_alt2.res delete mode 100644 tests/sav/nitc/test_array_formal.res delete mode 100644 tests/sav/nitc/test_variance_attr.res delete mode 100644 tests/sav/nitc/test_variance_param_alt1.res delete mode 100644 tests/sav/nitc/test_variance_param_alt2.res delete mode 100644 tests/sav/nitc/test_variance_param_alt3.res delete mode 100644 tests/sav/nitc/test_variance_param_alt4.res delete mode 100644 tests/sav/nitc/test_variance_param_alt5.res delete mode 100644 tests/sav/nitc/test_variance_param_alt6.res delete mode 100644 tests/sav/nitc_args1.res delete mode 100644 tests/sav/nitc_args2.res delete mode 100644 tests/sav/nits.res delete mode 100755 tests/tests_icode.sh diff --git a/tests/Makefile b/tests/Makefile index 42c6c72..bf9d576 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,19 +1,13 @@ -PROGS=*.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/shoot_logic.nit ../lib/*.nit ../src/nitdoc.nit ../src/nits.nit ../src/nitc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit +PROGS=*.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/shoot_logic.nit ../lib/*.nit ../src/nitdoc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit -all: separate niti nitg-g nitg-s +all: niti nitg-g nitg-s -alot: separate global niti nitg-g nitg-s nitg-s-bm nitg-s-phmod nitg-s-phand nitg-e nitg-e-bm nitg-e-phmod nitg-e-phand icode - -separate: - ./testfull.sh +alot: niti nitg-g nitg-s nitg-s-bm nitg-s-phmod nitg-s-phand nitg-e nitg-e-bm nitg-e-phmod nitg-e-phand icode some: ./tests.sh base_compile.nit base_attr.nit base_gen.nit test_gen_inh.nit bench_fib.nit example_objet.nit -global: - ./testfull.sh -o --global - niti: ./testfull.sh --engine niti @@ -44,9 +38,6 @@ nitg-e-phmod: nitg-e-phand: ./testfull.sh --engine nitg-e -o --phand-typing -icode: - ./tests_icode.sh icode*.nit - failed: @[ ! -s errlist ] && echo 'No failed tests to execute' ; true @[ -s errlist ] && ./tests.sh `cat errlist | sort -u` ; true diff --git a/tests/nitc.args b/tests/nitc.args deleted file mode 100644 index 40e2a1e..0000000 --- a/tests/nitc.args +++ /dev/null @@ -1,2 +0,0 @@ ---log --log-dir out/test_nitc_logs ../examples/hello_world.nit -o out/nitc-hello_world ; out/nitc-hello_world -base_simple3.nit -o out/nitc-base_simple3 ; out/nitc-base_simple3 diff --git a/tests/nitc.skip b/tests/nitc.skip deleted file mode 100644 index 50ba553..0000000 --- a/tests/nitc.skip +++ /dev/null @@ -1 +0,0 @@ -test_ffi_c_casts diff --git a/tests/sav/nitc.res b/tests/sav/nitc.res deleted file mode 100644 index bc659d0..0000000 --- a/tests/sav/nitc.res +++ /dev/null @@ -1,32 +0,0 @@ -usage: nitc [options] file... - -W, --warn Show warnings - -q, --quiet Do not show warnings - --stop-on-first-error Stop on first error - --no-color Do not use color to display errors and warnings - --log Generate various log files - --log-dir Directory where to generate log files - -h, -?, --help Show Help (This screen) - --version Show version and exit - -v, --verbose Verbose - -I, --path Set include path for loaders (may be used more than once) - --only-parse Only proceed to parse step of loaders - --only-metamodel Stop after meta-model processing - --global Use global compilation - --no-global-SFT-optimization Do not use SFT optimization - --no-global-DMR-optimization Do not use dead method removal optimization - --global-callgraph The algorithm to use to build the callgraph - --no-global-get-set-inlining Do not automatically inline getters/setters - --no-global-RFIM-analysis Do not use a specialized algorithm to find reachable methods from initializers - --no-global-OOIT-optimization Do not remove get tests outside object initialization - -o, --output Output file - -O, --boost Optimize compilation - --no-cc Do not invoke C compiler - --cc-no-link Do not invoke C linker - --cc-lib-name Name of library to use for C compiler - --cc-lib-path Path to libraries for C compiler - --cc-header-path Path to .h files for C compiler - --clibdir NIT C library directory - --bindir NIT tools directory - --compdir Intermediate compilation directory - -p, --extension-prefix Append prefix to file extension - --output-format The type of code we want to be generated diff --git a/tests/sav/nitc/base_array_alt1.res b/tests/sav/nitc/base_array_alt1.res deleted file mode 100644 index 594b678..0000000 --- a/tests/sav/nitc/base_array_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_array_alt1.nit:27,14--17: Type error: no most general type. Got Bool and Int at 27,10--11. diff --git a/tests/sav/nitc/base_as_notnull.res b/tests/sav/nitc/base_as_notnull.res deleted file mode 100644 index f19582e..0000000 --- a/tests/sav/nitc/base_as_notnull.res +++ /dev/null @@ -1,14 +0,0 @@ -base_as_notnull.nit:41,6: Warning: 'as(not null)' on non nullable type. -base_as_notnull.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -base_as_notnull.nit:43,6: Warning: 'as(not null)' on non nullable type. -base_as_notnull.nit:52,6: Warning: 'as(not null)' on non nullable type. -1 -2 -3 -4 -5 -6 - -3 -6 - diff --git a/tests/sav/nitc/base_as_notnull_alt1.res b/tests/sav/nitc/base_as_notnull_alt1.res deleted file mode 100644 index bfed027..0000000 --- a/tests/sav/nitc/base_as_notnull_alt1.res +++ /dev/null @@ -1,6 +0,0 @@ -alt/base_as_notnull_alt1.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt1.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt1.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt1.nit:50,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt1.nit:50,6--19: Type error: expected B, got A -alt/base_as_notnull_alt1.nit:52,6: Warning: 'as(not null)' on non nullable type. diff --git a/tests/sav/nitc/base_as_notnull_alt2.res b/tests/sav/nitc/base_as_notnull_alt2.res deleted file mode 100644 index 74ca258..0000000 --- a/tests/sav/nitc/base_as_notnull_alt2.res +++ /dev/null @@ -1,6 +0,0 @@ -alt/base_as_notnull_alt2.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt2.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt2.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt2.nit:51,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt2.nit:51,6--20: Type error: expected B, got A -alt/base_as_notnull_alt2.nit:52,6: Warning: 'as(not null)' on non nullable type. diff --git a/tests/sav/nitc/base_as_notnull_alt3.res b/tests/sav/nitc/base_as_notnull_alt3.res deleted file mode 100644 index 3c376b1..0000000 --- a/tests/sav/nitc/base_as_notnull_alt3.res +++ /dev/null @@ -1,5 +0,0 @@ -alt/base_as_notnull_alt3.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt3.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt3.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt3.nit:52,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt3.nit:53,6--20: Type error: expected B, got A diff --git a/tests/sav/nitc/base_as_notnull_alt4.res b/tests/sav/nitc/base_as_notnull_alt4.res deleted file mode 100644 index bc2fd16..0000000 --- a/tests/sav/nitc/base_as_notnull_alt4.res +++ /dev/null @@ -1,5 +0,0 @@ -alt/base_as_notnull_alt4.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt4.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt4.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt4.nit:52,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt4.nit:54,6--21: Type error: expected B, got A diff --git a/tests/sav/nitc/base_as_notnull_alt5.res b/tests/sav/nitc/base_as_notnull_alt5.res deleted file mode 100644 index 8fd3cb1..0000000 --- a/tests/sav/nitc/base_as_notnull_alt5.res +++ /dev/null @@ -1,15 +0,0 @@ -alt/base_as_notnull_alt5.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt5.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt5.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt5.nit:52,6: Warning: 'as(not null)' on non nullable type. -Runtime error: Cast failed (alt/base_as_notnull_alt5.nit:59) -1 -2 -3 -4 -5 -6 - -3 -6 - diff --git a/tests/sav/nitc/base_as_notnull_alt6.res b/tests/sav/nitc/base_as_notnull_alt6.res deleted file mode 100644 index 219d174..0000000 --- a/tests/sav/nitc/base_as_notnull_alt6.res +++ /dev/null @@ -1,15 +0,0 @@ -alt/base_as_notnull_alt6.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt6.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt6.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt6.nit:52,6: Warning: 'as(not null)' on non nullable type. -Runtime error: Cast failed (alt/base_as_notnull_alt6.nit:60) -1 -2 -3 -4 -5 -6 - -3 -6 - diff --git a/tests/sav/nitc/base_as_notnull_alt7.res b/tests/sav/nitc/base_as_notnull_alt7.res deleted file mode 100644 index 198847b..0000000 --- a/tests/sav/nitc/base_as_notnull_alt7.res +++ /dev/null @@ -1,5 +0,0 @@ -alt/base_as_notnull_alt7.nit:41,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt7.nit:42,6--7: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt7.nit:43,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt7.nit:52,6: Warning: 'as(not null)' on non nullable type. -alt/base_as_notnull_alt7.nit:61,1--4: Type error: 'as(not null)' on 'null' value. diff --git a/tests/sav/nitc/base_attr3_alt1.res b/tests/sav/nitc/base_attr3_alt1.res deleted file mode 100644 index bc181e7..0000000 --- a/tests/sav/nitc/base_attr3_alt1.res +++ /dev/null @@ -1,10 +0,0 @@ -alt/base_attr3_alt1.nit:22,3--8: Visibility error: Property base_attr2::A::a1= is private. -alt/base_attr3_alt1.nit:24,3--8: Visibility error: Property base_attr2::A::a2= is private. -alt/base_attr3_alt1.nit:25,3--4: Visibility error: Property base_attr2::A::a3 is private. -alt/base_attr3_alt1.nit:26,3--8: Visibility error: Property base_attr2::A::a3= is private. -alt/base_attr3_alt1.nit:31,3--4: Visibility error: Property base_attr2::A::a6 is private. -alt/base_attr3_alt1.nit:37,3--4: Visibility error: Property base_attr2::A::a9 is private. -alt/base_attr3_alt1.nit:40,3--9: Visibility error: Property base_attr2::A::a10= is private. -alt/base_attr3_alt1.nit:42,3--9: Visibility error: Property base_attr2::A::a11= is private. -alt/base_attr3_alt1.nit:43,3--5: Visibility error: Property base_attr2::A::a12 is private. -alt/base_attr3_alt1.nit:44,3--9: Visibility error: Property base_attr2::A::a12= is private. diff --git a/tests/sav/nitc/base_attr3_alt2.res b/tests/sav/nitc/base_attr3_alt2.res deleted file mode 100644 index 0e3677f..0000000 --- a/tests/sav/nitc/base_attr3_alt2.res +++ /dev/null @@ -1,17 +0,0 @@ -alt/base_attr3_alt2.nit:49,3--10: Visibility error: Property base_attr2::A::a1= is private. -alt/base_attr3_alt2.nit:50,3--6: Visibility error: Property base_attr2::A::a2 is protected and can only acceded by self. -alt/base_attr3_alt2.nit:51,3--10: Visibility error: Property base_attr2::A::a2= is private. -alt/base_attr3_alt2.nit:52,3--6: Visibility error: Property base_attr2::A::a3 is private. -alt/base_attr3_alt2.nit:53,3--10: Visibility error: Property base_attr2::A::a3= is private. -alt/base_attr3_alt2.nit:56,3--6: Visibility error: Property base_attr2::A::a5 is protected and can only acceded by self. -alt/base_attr3_alt2.nit:58,3--6: Visibility error: Property base_attr2::A::a6 is private. -alt/base_attr3_alt2.nit:61,3--10: Visibility error: Property base_attr2::A::a7= is protected and can only acceded by self. -alt/base_attr3_alt2.nit:62,3--6: Visibility error: Property base_attr2::A::a8 is protected and can only acceded by self. -alt/base_attr3_alt2.nit:63,3--10: Visibility error: Property base_attr2::A::a8= is protected and can only acceded by self. -alt/base_attr3_alt2.nit:64,3--6: Visibility error: Property base_attr2::A::a9 is private. -alt/base_attr3_alt2.nit:65,3--10: Visibility error: Property base_attr2::A::a9= is protected and can only acceded by self. -alt/base_attr3_alt2.nit:67,3--11: Visibility error: Property base_attr2::A::a10= is private. -alt/base_attr3_alt2.nit:68,3--7: Visibility error: Property base_attr2::A::a11 is protected and can only acceded by self. -alt/base_attr3_alt2.nit:69,3--11: Visibility error: Property base_attr2::A::a11= is private. -alt/base_attr3_alt2.nit:70,3--7: Visibility error: Property base_attr2::A::a12 is private. -alt/base_attr3_alt2.nit:71,3--11: Visibility error: Property base_attr2::A::a12= is private. diff --git a/tests/sav/nitc/base_attr3_alt3.res b/tests/sav/nitc/base_attr3_alt3.res deleted file mode 100644 index 7ad1598..0000000 --- a/tests/sav/nitc/base_attr3_alt3.res +++ /dev/null @@ -1,17 +0,0 @@ -alt/base_attr3_alt3.nit:80,2--9: Visibility error: Property base_attr2::A::a1= is private. -alt/base_attr3_alt3.nit:81,2--5: Visibility error: Property base_attr2::A::a2 is protected and can only acceded by self. -alt/base_attr3_alt3.nit:82,2--9: Visibility error: Property base_attr2::A::a2= is private. -alt/base_attr3_alt3.nit:83,2--5: Visibility error: Property base_attr2::A::a3 is private. -alt/base_attr3_alt3.nit:84,2--9: Visibility error: Property base_attr2::A::a3= is private. -alt/base_attr3_alt3.nit:87,2--5: Visibility error: Property base_attr2::A::a5 is protected and can only acceded by self. -alt/base_attr3_alt3.nit:89,2--5: Visibility error: Property base_attr2::A::a6 is private. -alt/base_attr3_alt3.nit:92,2--9: Visibility error: Property base_attr2::A::a7= is protected and can only acceded by self. -alt/base_attr3_alt3.nit:93,2--5: Visibility error: Property base_attr2::A::a8 is protected and can only acceded by self. -alt/base_attr3_alt3.nit:94,2--9: Visibility error: Property base_attr2::A::a8= is protected and can only acceded by self. -alt/base_attr3_alt3.nit:95,2--5: Visibility error: Property base_attr2::A::a9 is private. -alt/base_attr3_alt3.nit:96,2--9: Visibility error: Property base_attr2::A::a9= is protected and can only acceded by self. -alt/base_attr3_alt3.nit:98,2--10: Visibility error: Property base_attr2::A::a10= is private. -alt/base_attr3_alt3.nit:99,2--6: Visibility error: Property base_attr2::A::a11 is protected and can only acceded by self. -alt/base_attr3_alt3.nit:100,2--10: Visibility error: Property base_attr2::A::a11= is private. -alt/base_attr3_alt3.nit:101,2--6: Visibility error: Property base_attr2::A::a12 is private. -alt/base_attr3_alt3.nit:102,2--10: Visibility error: Property base_attr2::A::a12= is private. diff --git a/tests/sav/nitc/base_attr3_alt4.res b/tests/sav/nitc/base_attr3_alt4.res deleted file mode 100644 index 4b52598..0000000 --- a/tests/sav/nitc/base_attr3_alt4.res +++ /dev/null @@ -1,17 +0,0 @@ -alt/base_attr3_alt4.nit:110,2--9: Visibility error: Property base_attr2::A::a1= is private. -alt/base_attr3_alt4.nit:111,2--5: Visibility error: Property base_attr2::A::a2 is protected and can only acceded by self. -alt/base_attr3_alt4.nit:112,2--9: Visibility error: Property base_attr2::A::a2= is private. -alt/base_attr3_alt4.nit:113,2--5: Visibility error: Property base_attr2::A::a3 is private. -alt/base_attr3_alt4.nit:114,2--9: Visibility error: Property base_attr2::A::a3= is private. -alt/base_attr3_alt4.nit:117,2--5: Visibility error: Property base_attr2::A::a5 is protected and can only acceded by self. -alt/base_attr3_alt4.nit:119,2--5: Visibility error: Property base_attr2::A::a6 is private. -alt/base_attr3_alt4.nit:122,2--9: Visibility error: Property base_attr2::A::a7= is protected and can only acceded by self. -alt/base_attr3_alt4.nit:123,2--5: Visibility error: Property base_attr2::A::a8 is protected and can only acceded by self. -alt/base_attr3_alt4.nit:124,2--9: Visibility error: Property base_attr2::A::a8= is protected and can only acceded by self. -alt/base_attr3_alt4.nit:125,2--5: Visibility error: Property base_attr2::A::a9 is private. -alt/base_attr3_alt4.nit:126,2--9: Visibility error: Property base_attr2::A::a9= is protected and can only acceded by self. -alt/base_attr3_alt4.nit:128,2--10: Visibility error: Property base_attr2::A::a10= is private. -alt/base_attr3_alt4.nit:129,2--6: Visibility error: Property base_attr2::A::a11 is protected and can only acceded by self. -alt/base_attr3_alt4.nit:130,2--10: Visibility error: Property base_attr2::A::a11= is private. -alt/base_attr3_alt4.nit:131,2--6: Visibility error: Property base_attr2::A::a12 is private. -alt/base_attr3_alt4.nit:132,2--10: Visibility error: Property base_attr2::A::a12= is private. diff --git a/tests/sav/nitc/base_attr5_alt12.res b/tests/sav/nitc/base_attr5_alt12.res deleted file mode 100644 index 94161cb..0000000 --- a/tests/sav/nitc/base_attr5_alt12.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_attr5_alt12.nit:42,12--14: Error: No property B::bar is inherited. Remove the redef keyword to define a new property. -alt/base_attr5_alt12.nit:42,12--14: Redef error: B::bar= is an inherited property. To redefine it, add the redef keyword. diff --git a/tests/sav/nitc/base_attr5_alt14.res b/tests/sav/nitc/base_attr5_alt14.res deleted file mode 100644 index 1da576a..0000000 --- a/tests/sav/nitc/base_attr5_alt14.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_attr5_alt14.nit:44,12--14: Error: No property B::bar is inherited. Remove the redef keyword to define a new property. -alt/base_attr5_alt14.nit:44,12--14: Redef error: B::bar= is an inherited property. To redefine it, add the redef keyword. diff --git a/tests/sav/nitc/base_attr5_alt21.res b/tests/sav/nitc/base_attr5_alt21.res deleted file mode 100644 index c3a66cf..0000000 --- a/tests/sav/nitc/base_attr5_alt21.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_attr5_alt21.nit:48,6--8: Redef error: B::baz is an inherited property. To redefine it, add the redef keyword. -alt/base_attr5_alt21.nit:48,6--8: Redef error: B::baz= is an inherited property. To redefine it, add the redef keyword. diff --git a/tests/sav/nitc/base_attr5_alt23.res b/tests/sav/nitc/base_attr5_alt23.res deleted file mode 100644 index a6b02f7..0000000 --- a/tests/sav/nitc/base_attr5_alt23.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_attr5_alt23.nit:50,6--8: Redef error: B::baz is an inherited property. To redefine it, add the redef keyword. -alt/base_attr5_alt23.nit:50,6--8: Redef error: B::baz= is an inherited property. To redefine it, add the redef keyword. diff --git a/tests/sav/nitc/base_attr5_alt5.res b/tests/sav/nitc/base_attr5_alt5.res deleted file mode 100644 index 5803835..0000000 --- a/tests/sav/nitc/base_attr5_alt5.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_attr5_alt5.nit:38,6--8: Redef error: B::foo is an inherited property. To redefine it, add the redef keyword. -alt/base_attr5_alt5.nit:38,6--8: Error: No property B::foo= is inherited. Remove the redef keyword to define a new property. diff --git a/tests/sav/nitc/base_attr7_alt1.res b/tests/sav/nitc/base_attr7_alt1.res deleted file mode 100644 index 24902c1..0000000 --- a/tests/sav/nitc/base_attr7_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_attr7_alt1.nit:34,17--20: Redef error: Expected Int, as in A::foo. diff --git a/tests/sav/nitc/base_attr7_alt2.res b/tests/sav/nitc/base_attr7_alt2.res deleted file mode 100644 index 2253530..0000000 --- a/tests/sav/nitc/base_attr7_alt2.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_attr7_alt2.nit:35,11--14: Redef error: Expected Int, as in the parameter of A::bar=. diff --git a/tests/sav/nitc/base_attr7_alt3.res b/tests/sav/nitc/base_attr7_alt3.res deleted file mode 100644 index ac94207..0000000 --- a/tests/sav/nitc/base_attr7_alt3.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_attr7_alt3.nit:36,17--20: Redef error: Expected Int, as in A::baz. -alt/base_attr7_alt3.nit:36,17--20: Redef error: Expected Int, as in the parameter of A::baz=. diff --git a/tests/sav/nitc/base_attr_init_val_raf_alt1.res b/tests/sav/nitc/base_attr_init_val_raf_alt1.res deleted file mode 100644 index c23ed39..0000000 --- a/tests/sav/nitc/base_attr_init_val_raf_alt1.res +++ /dev/null @@ -1 +0,0 @@ -Runtime error: Uninitialized attribute @j (alt/base_attr_init_val_raf_alt1.nit) diff --git a/tests/sav/nitc/base_attr_isset_alt3.res b/tests/sav/nitc/base_attr_isset_alt3.res deleted file mode 100644 index 47eff56..0000000 --- a/tests/sav/nitc/base_attr_isset_alt3.res +++ /dev/null @@ -1,10 +0,0 @@ -Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt3.nit) -1 -false -false -2 -true -false -3 -true -false diff --git a/tests/sav/nitc/base_attr_isset_alt4.res b/tests/sav/nitc/base_attr_isset_alt4.res deleted file mode 100644 index 7ae8195..0000000 --- a/tests/sav/nitc/base_attr_isset_alt4.res +++ /dev/null @@ -1,10 +0,0 @@ -Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt4.nit) -1 -false -false -2 -true -false -3 -true -false diff --git a/tests/sav/nitc/base_attr_nullable_int_alt2.res b/tests/sav/nitc/base_attr_nullable_int_alt2.res deleted file mode 100644 index 52f9df3..0000000 --- a/tests/sav/nitc/base_attr_nullable_int_alt2.res +++ /dev/null @@ -1,2 +0,0 @@ -Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt2.nit:29) -1 diff --git a/tests/sav/nitc/base_autocast_alt1.res b/tests/sav/nitc/base_autocast_alt1.res deleted file mode 100644 index 099b7d9..0000000 --- a/tests/sav/nitc/base_autocast_alt1.res +++ /dev/null @@ -1,4 +0,0 @@ -1 -2 -1 -2 diff --git a/tests/sav/nitc/base_autocast_alt2.res b/tests/sav/nitc/base_autocast_alt2.res deleted file mode 100644 index c8e0425..0000000 --- a/tests/sav/nitc/base_autocast_alt2.res +++ /dev/null @@ -1,4 +0,0 @@ -Runtime error: Cast failed (alt/base_autocast_alt2.nit) -1 -2 -1 diff --git a/tests/sav/nitc/base_class_name.res b/tests/sav/nitc/base_class_name.res deleted file mode 100644 index 84e61ef..0000000 --- a/tests/sav/nitc/base_class_name.res +++ /dev/null @@ -1,6 +0,0 @@ -String -Int -Test -Test -MyArray -TotoToto diff --git a/tests/sav/nitc/base_classid.res b/tests/sav/nitc/base_classid.res deleted file mode 100644 index cbb8328..0000000 --- a/tests/sav/nitc/base_classid.res +++ /dev/null @@ -1,12 +0,0 @@ -base_classid.nit:47,2--8: Warning: Expression is already a A. -base_classid.nit:48,2--9: Warning: Expression is already a A. -base_classid.nit:49,2--8: Warning: Expression is already a A since it is a B. -base_classid.nit:52,2--8: Warning: Expression is already a B. -true -true -true -true -true -true -true -true diff --git a/tests/sav/nitc/base_covar_int2_alt1.res b/tests/sav/nitc/base_covar_int2_alt1.res deleted file mode 100644 index a068496..0000000 --- a/tests/sav/nitc/base_covar_int2_alt1.res +++ /dev/null @@ -1,3 +0,0 @@ -Runtime error: Cast failed (alt/base_covar_int2_alt1.nit) -1 -1 diff --git a/tests/sav/nitc/base_covar_int2_alt3.res b/tests/sav/nitc/base_covar_int2_alt3.res deleted file mode 100644 index c1ad514..0000000 --- a/tests/sav/nitc/base_covar_int2_alt3.res +++ /dev/null @@ -1,4 +0,0 @@ -Runtime error: Cast failed (alt/base_covar_int2_alt3.nit) -1 -1 -1 diff --git a/tests/sav/nitc/base_covar_int2_alt5.res b/tests/sav/nitc/base_covar_int2_alt5.res deleted file mode 100644 index 74caff9..0000000 --- a/tests/sav/nitc/base_covar_int2_alt5.res +++ /dev/null @@ -1,4 +0,0 @@ -Runtime error: Cast failed (alt/base_covar_int2_alt5.nit) -1 -1 -1 diff --git a/tests/sav/nitc/base_covar_int_alt1.res b/tests/sav/nitc/base_covar_int_alt1.res deleted file mode 100644 index a9013d7..0000000 --- a/tests/sav/nitc/base_covar_int_alt1.res +++ /dev/null @@ -1,3 +0,0 @@ -Runtime error: Cast failed (../lib/standard/kernel.nit) -true -true diff --git a/tests/sav/nitc/base_covar_int_alt3.res b/tests/sav/nitc/base_covar_int_alt3.res deleted file mode 100644 index 76c1229..0000000 --- a/tests/sav/nitc/base_covar_int_alt3.res +++ /dev/null @@ -1,4 +0,0 @@ -Runtime error: Cast failed (../lib/standard/kernel.nit) -true -true -true diff --git a/tests/sav/nitc/base_covar_int_alt5.res b/tests/sav/nitc/base_covar_int_alt5.res deleted file mode 100644 index 76c1229..0000000 --- a/tests/sav/nitc/base_covar_int_alt5.res +++ /dev/null @@ -1,4 +0,0 @@ -Runtime error: Cast failed (../lib/standard/kernel.nit) -true -true -true diff --git a/tests/sav/nitc/base_div_by_zero.res b/tests/sav/nitc/base_div_by_zero.res deleted file mode 100644 index da9cb9a..0000000 --- a/tests/sav/nitc/base_div_by_zero.res +++ /dev/null @@ -1,4 +0,0 @@ -0 -5 -inf -0 diff --git a/tests/sav/nitc/base_eq_null_notnull.res b/tests/sav/nitc/base_eq_null_notnull.res deleted file mode 100644 index 7f9ea13..0000000 --- a/tests/sav/nitc/base_eq_null_notnull.res +++ /dev/null @@ -1,14 +0,0 @@ -base_eq_null_notnull.nit:36,6--14: Warning: comparaison between null and a non nullable value. -base_eq_null_notnull.nit:43,2--10: Warning: comparaison between null and a non nullable value. -true -true -true -true -true -true -true -true -true -true -true -true diff --git a/tests/sav/nitc/base_gen_bound_alt1.res b/tests/sav/nitc/base_gen_bound_alt1.res deleted file mode 100644 index c7948e5..0000000 --- a/tests/sav/nitc/base_gen_bound_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_gen_bound_alt1.nit:31,10: Type error: expected B, got F diff --git a/tests/sav/nitc/base_gen_bound_alt2.res b/tests/sav/nitc/base_gen_bound_alt2.res deleted file mode 100644 index 4a85ac7..0000000 --- a/tests/sav/nitc/base_gen_bound_alt2.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_gen_bound_alt2.nit:32,11: Type error: expected B, got F -alt/base_gen_bound_alt2.nit:32,11: Type error: expected B, got F diff --git a/tests/sav/nitc/base_gen_bound_alt3.res b/tests/sav/nitc/base_gen_bound_alt3.res deleted file mode 100644 index 386030f..0000000 --- a/tests/sav/nitc/base_gen_bound_alt3.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_gen_bound_alt3.nit:33,11: Type error: expected B, got F -alt/base_gen_bound_alt3.nit:33,11: Type error: expected B, got F diff --git a/tests/sav/nitc/base_gen_bound_alt4.res b/tests/sav/nitc/base_gen_bound_alt4.res deleted file mode 100644 index 53b7e1c..0000000 --- a/tests/sav/nitc/base_gen_bound_alt4.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_gen_bound_alt4.nit:34,13: Type error: expected B, got F -alt/base_gen_bound_alt4.nit:34,13: Type error: expected B, got F diff --git a/tests/sav/nitc/base_gen_bound_alt5.res b/tests/sav/nitc/base_gen_bound_alt5.res deleted file mode 100644 index 476afef..0000000 --- a/tests/sav/nitc/base_gen_bound_alt5.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_gen_bound_alt5.nit:39,11: Type error: expected B, got V -alt/base_gen_bound_alt5.nit:39,11: Type error: expected B, got V diff --git a/tests/sav/nitc/base_gen_bound_alt6.res b/tests/sav/nitc/base_gen_bound_alt6.res deleted file mode 100644 index 95a9168..0000000 --- a/tests/sav/nitc/base_gen_bound_alt6.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_gen_bound_alt6.nit:40,11: Type error: expected B, got V -alt/base_gen_bound_alt6.nit:40,11: Type error: expected B, got V diff --git a/tests/sav/nitc/base_gen_bound_alt7.res b/tests/sav/nitc/base_gen_bound_alt7.res deleted file mode 100644 index acb2b8d..0000000 --- a/tests/sav/nitc/base_gen_bound_alt7.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_gen_bound_alt7.nit:41,13: Type error: expected B, got V -alt/base_gen_bound_alt7.nit:41,13: Type error: expected B, got V diff --git a/tests/sav/nitc/base_gen_f.res b/tests/sav/nitc/base_gen_f.res deleted file mode 100644 index e69de29..0000000 diff --git a/tests/sav/nitc/base_gen_variance2_alt1.res b/tests/sav/nitc/base_gen_variance2_alt1.res deleted file mode 100644 index a208171..0000000 --- a/tests/sav/nitc/base_gen_variance2_alt1.res +++ /dev/null @@ -1,5 +0,0 @@ -3 -2 -!3 -!2 -!100 diff --git a/tests/sav/nitc/base_gen_variance_alt7.res b/tests/sav/nitc/base_gen_variance_alt7.res deleted file mode 100644 index 7dcbcf0..0000000 --- a/tests/sav/nitc/base_gen_variance_alt7.res +++ /dev/null @@ -1,10 +0,0 @@ -2 -20 -2 -20 -2 -20 -2 -20 -2 -20 diff --git a/tests/sav/nitc/base_gen_variance_alt8.res b/tests/sav/nitc/base_gen_variance_alt8.res deleted file mode 100644 index 7dcbcf0..0000000 --- a/tests/sav/nitc/base_gen_variance_alt8.res +++ /dev/null @@ -1,10 +0,0 @@ -2 -20 -2 -20 -2 -20 -2 -20 -2 -20 diff --git a/tests/sav/nitc/base_if_expr_alt1.res b/tests/sav/nitc/base_if_expr_alt1.res deleted file mode 100644 index 29c3f3d..0000000 --- a/tests/sav/nitc/base_if_expr_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_if_expr_alt1.nit:39,34: Type error: no most general type. Got Int and A at 39,23--27. diff --git a/tests/sav/nitc/base_init_simple_alt1.res b/tests/sav/nitc/base_init_simple_alt1.res deleted file mode 100644 index aff1e07..0000000 --- a/tests/sav/nitc/base_init_simple_alt1.res +++ /dev/null @@ -1,3 +0,0 @@ -alt/base_init_simple_alt1.nit:11,8--11: Error: No property B::init is inherited. Remove the redef keyword to define a new property. -alt/base_init_simple_alt1.nit:13,8--11: Error: No property B::init2 is inherited. Remove the redef keyword to define a new property. -alt/base_init_simple_alt1.nit:15,8--11: Error: No property B::init3 is inherited. Remove the redef keyword to define a new property. diff --git a/tests/sav/nitc/base_isa1.res b/tests/sav/nitc/base_isa1.res deleted file mode 100644 index 48301ef..0000000 --- a/tests/sav/nitc/base_isa1.res +++ /dev/null @@ -1,5 +0,0 @@ -base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G. -base_isa1.nit:56,8--16: Warning: superfluous parentheses. -base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D. -base_isa1.nit:58,8--16: Warning: superfluous parentheses. -true diff --git a/tests/sav/nitc/base_isa_cast4_alt5.res b/tests/sav/nitc/base_isa_cast4_alt5.res deleted file mode 100644 index 292de6b..0000000 --- a/tests/sav/nitc/base_isa_cast4_alt5.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_isa_cast4_alt5.nit:87,6--10: Type error: expected B, got A diff --git a/tests/sav/nitc/base_isa_nil.res b/tests/sav/nitc/base_isa_nil.res deleted file mode 100644 index 5ced267..0000000 --- a/tests/sav/nitc/base_isa_nil.res +++ /dev/null @@ -1,16 +0,0 @@ -base_isa_nil.nit:33,2--13: Warning: Expression is already a Object. -base_isa_nil.nit:36,2--22: Warning: Expression is already a nullable Object since it is a Object. -base_isa_nil.nit:40,2--13: Warning: Prefer '!= null'. -base_isa_nil.nit:43,2--22: Warning: Expression is already a nullable Object. -true -true -true -true -true -true -false -false -false -true -true -true diff --git a/tests/sav/nitc/base_isa_vt_gen1.res b/tests/sav/nitc/base_isa_vt_gen1.res deleted file mode 100644 index e7508ca..0000000 --- a/tests/sav/nitc/base_isa_vt_gen1.res +++ /dev/null @@ -1,2 +0,0 @@ -base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[T, U, V]. -true diff --git a/tests/sav/nitc/base_label_do_alt4.res b/tests/sav/nitc/base_label_do_alt4.res deleted file mode 100644 index cf87778..0000000 --- a/tests/sav/nitc/base_label_do_alt4.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_label_do_alt4.nit:31,3--7: Syntax Error: 'break' statment outside block. diff --git a/tests/sav/nitc/base_label_do_alt6.res b/tests/sav/nitc/base_label_do_alt6.res deleted file mode 100644 index 65ff71a..0000000 --- a/tests/sav/nitc/base_label_do_alt6.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_label_do_alt6.nit:37,6--13: Syntax error: label l1 already defined at 39,5--12. diff --git a/tests/sav/nitc/base_label_do_alt8.res b/tests/sav/nitc/base_label_do_alt8.res deleted file mode 100644 index 027d35e..0000000 --- a/tests/sav/nitc/base_label_do_alt8.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_label_do_alt8.nit:33,3--10: Syntax Error: 'continue' statment outside block. diff --git a/tests/sav/nitc/base_label_for_alt6.res b/tests/sav/nitc/base_label_for_alt6.res deleted file mode 100644 index 5d34aea..0000000 --- a/tests/sav/nitc/base_label_for_alt6.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_label_for_alt6.nit:38,6--13: Syntax error: label l1 already defined at 40,5--12. diff --git a/tests/sav/nitc/base_label_loop_alt6.res b/tests/sav/nitc/base_label_loop_alt6.res deleted file mode 100644 index 71d4361..0000000 --- a/tests/sav/nitc/base_label_loop_alt6.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_label_loop_alt6.nit:43,6--13: Syntax error: label l1 already defined at 45,5--12. diff --git a/tests/sav/nitc/base_label_while_alt6.res b/tests/sav/nitc/base_label_while_alt6.res deleted file mode 100644 index 0a227dd..0000000 --- a/tests/sav/nitc/base_label_while_alt6.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_label_while_alt6.nit:40,6--13: Syntax error: label l1 already defined at 42,5--12. diff --git a/tests/sav/nitc/base_ni_alt5.res b/tests/sav/nitc/base_ni_alt5.res deleted file mode 100644 index 4fcee91..0000000 --- a/tests/sav/nitc/base_ni_alt5.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_ni_alt5.nit:35,6: Error: Attempt to define attribute @x in the extern class EC. diff --git a/tests/sav/nitc/base_no_object.res b/tests/sav/nitc/base_no_object.res deleted file mode 100644 index d00491f..0000000 --- a/tests/sav/nitc/base_no_object.res +++ /dev/null @@ -1 +0,0 @@ -1 diff --git a/tests/sav/nitc/base_no_object_alt1.res b/tests/sav/nitc/base_no_object_alt1.res deleted file mode 100644 index 1191247..0000000 --- a/tests/sav/nitc/base_no_object_alt1.res +++ /dev/null @@ -1,2 +0,0 @@ -1 -2 diff --git a/tests/sav/nitc/base_orelse2.res b/tests/sav/nitc/base_orelse2.res deleted file mode 100644 index 35055b1..0000000 --- a/tests/sav/nitc/base_orelse2.res +++ /dev/null @@ -1,2 +0,0 @@ -base_orelse2.nit:30,21: Type error: no most general type. Got B and A. -base_orelse2.nit:36,21--22: Type error: no most general type. Got nullable B and nullable A. diff --git a/tests/sav/nitc/base_output_class_name.res b/tests/sav/nitc/base_output_class_name.res deleted file mode 100644 index e4b4d77..0000000 --- a/tests/sav/nitc/base_output_class_name.res +++ /dev/null @@ -1,6 +0,0 @@ -Char -Int -Test -Test -MyArray -0 \ No newline at end of file diff --git a/tests/sav/nitc/base_prot2_alt1.res b/tests/sav/nitc/base_prot2_alt1.res deleted file mode 100644 index 2e15f3a..0000000 --- a/tests/sav/nitc/base_prot2_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_prot2_alt1.nit:25,3--5: Visibility error: Property base_prot::A::pri is private. diff --git a/tests/sav/nitc/base_prot2_alt2.res b/tests/sav/nitc/base_prot2_alt2.res deleted file mode 100644 index 55c385d..0000000 --- a/tests/sav/nitc/base_prot2_alt2.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_prot2_alt2.nit:35,3--7: Visibility error: Property base_prot::A::pro is protected and can only acceded by self. diff --git a/tests/sav/nitc/base_prot2_alt3.res b/tests/sav/nitc/base_prot2_alt3.res deleted file mode 100644 index f24464d..0000000 --- a/tests/sav/nitc/base_prot2_alt3.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_prot2_alt3.nit:36,3--7: Visibility error: Property base_prot::A::pri is private. diff --git a/tests/sav/nitc/base_prot2_alt4.res b/tests/sav/nitc/base_prot2_alt4.res deleted file mode 100644 index 44bc124..0000000 --- a/tests/sav/nitc/base_prot2_alt4.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_prot2_alt4.nit:41,3--8: Visibility error: Property base_prot::A::pro is protected and can only acceded by self. diff --git a/tests/sav/nitc/base_prot2_alt5.res b/tests/sav/nitc/base_prot2_alt5.res deleted file mode 100644 index 41b4a28..0000000 --- a/tests/sav/nitc/base_prot2_alt5.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_prot2_alt5.nit:42,3--8: Visibility error: Property base_prot::A::pri is private. diff --git a/tests/sav/nitc/base_range_alt1.res b/tests/sav/nitc/base_range_alt1.res deleted file mode 100644 index 43eeb74..0000000 --- a/tests/sav/nitc/base_range_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_range_alt1.nit:26,10--14: Type error: expected Discrete, got A diff --git a/tests/sav/nitc/base_range_alt2.res b/tests/sav/nitc/base_range_alt2.res deleted file mode 100644 index 4ff5df6..0000000 --- a/tests/sav/nitc/base_range_alt2.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_range_alt2.nit:28,9--16: Type error: Int incompatible with Char. diff --git a/tests/sav/nitc/base_sig_inh_alt1.res b/tests/sav/nitc/base_sig_inh_alt1.res deleted file mode 100644 index baad919..0000000 --- a/tests/sav/nitc/base_sig_inh_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_sig_inh_alt1.nit:42,10--17: Error: A vararg parameter is already defined. diff --git a/tests/sav/nitc/base_super_linext.res b/tests/sav/nitc/base_super_linext.res deleted file mode 100644 index c50fdf1..0000000 --- a/tests/sav/nitc/base_super_linext.res +++ /dev/null @@ -1,8 +0,0 @@ -A -A -B[A] -AB -C[A] -AC -D[B[C[A]]] -ACBD diff --git a/tests/sav/nitc/base_super_linext_raf.res b/tests/sav/nitc/base_super_linext_raf.res deleted file mode 100644 index e9742a5..0000000 --- a/tests/sav/nitc/base_super_linext_raf.res +++ /dev/null @@ -1,8 +0,0 @@ -a[A] -Aa -b[B[a[A]]] -AaBb -c[C[a[A]]] -AaCc -d[D[b[B[c[C[a[A]]]]]]] -AaCcBbDd diff --git a/tests/sav/nitc/base_upcast2.res b/tests/sav/nitc/base_upcast2.res deleted file mode 100644 index e25bb83..0000000 --- a/tests/sav/nitc/base_upcast2.res +++ /dev/null @@ -1,2 +0,0 @@ -base_upcast2.nit:26,10: Type error: class T not found in module base_upcast2. -base_upcast2.nit:26,19: Type error: class T not found in module base_upcast2. diff --git a/tests/sav/nitc/base_upcast2_alt1.res b/tests/sav/nitc/base_upcast2_alt1.res deleted file mode 100644 index 45c4c2f..0000000 --- a/tests/sav/nitc/base_upcast2_alt1.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt1.nit:26,10: Type error: class T not found in module base_upcast2_alt1. -alt/base_upcast2_alt1.nit:26,19: Type error: class T not found in module base_upcast2_alt1. diff --git a/tests/sav/nitc/base_upcast2_alt10.res b/tests/sav/nitc/base_upcast2_alt10.res deleted file mode 100644 index 34b5cef..0000000 --- a/tests/sav/nitc/base_upcast2_alt10.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt10.nit:26,10: Type error: class T not found in module base_upcast2_alt10. -alt/base_upcast2_alt10.nit:26,19: Type error: class T not found in module base_upcast2_alt10. diff --git a/tests/sav/nitc/base_upcast2_alt2.res b/tests/sav/nitc/base_upcast2_alt2.res deleted file mode 100644 index 01d11bc..0000000 --- a/tests/sav/nitc/base_upcast2_alt2.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt2.nit:26,10: Type error: class T not found in module base_upcast2_alt2. -alt/base_upcast2_alt2.nit:26,19: Type error: class T not found in module base_upcast2_alt2. diff --git a/tests/sav/nitc/base_upcast2_alt3.res b/tests/sav/nitc/base_upcast2_alt3.res deleted file mode 100644 index 2103603..0000000 --- a/tests/sav/nitc/base_upcast2_alt3.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt3.nit:26,10: Type error: class T not found in module base_upcast2_alt3. -alt/base_upcast2_alt3.nit:26,19: Type error: class T not found in module base_upcast2_alt3. diff --git a/tests/sav/nitc/base_upcast2_alt4.res b/tests/sav/nitc/base_upcast2_alt4.res deleted file mode 100644 index 2847390..0000000 --- a/tests/sav/nitc/base_upcast2_alt4.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt4.nit:26,10: Type error: class T not found in module base_upcast2_alt4. -alt/base_upcast2_alt4.nit:26,19: Type error: class T not found in module base_upcast2_alt4. diff --git a/tests/sav/nitc/base_upcast2_alt5.res b/tests/sav/nitc/base_upcast2_alt5.res deleted file mode 100644 index 16fcc2c..0000000 --- a/tests/sav/nitc/base_upcast2_alt5.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt5.nit:26,10: Type error: class T not found in module base_upcast2_alt5. -alt/base_upcast2_alt5.nit:26,19: Type error: class T not found in module base_upcast2_alt5. diff --git a/tests/sav/nitc/base_upcast2_alt6.res b/tests/sav/nitc/base_upcast2_alt6.res deleted file mode 100644 index 0a0b06e..0000000 --- a/tests/sav/nitc/base_upcast2_alt6.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt6.nit:26,10: Type error: class T not found in module base_upcast2_alt6. -alt/base_upcast2_alt6.nit:26,19: Type error: class T not found in module base_upcast2_alt6. diff --git a/tests/sav/nitc/base_upcast2_alt7.res b/tests/sav/nitc/base_upcast2_alt7.res deleted file mode 100644 index 98a8fa0..0000000 --- a/tests/sav/nitc/base_upcast2_alt7.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt7.nit:26,10: Type error: class T not found in module base_upcast2_alt7. -alt/base_upcast2_alt7.nit:26,19: Type error: class T not found in module base_upcast2_alt7. diff --git a/tests/sav/nitc/base_upcast2_alt8.res b/tests/sav/nitc/base_upcast2_alt8.res deleted file mode 100644 index c727042..0000000 --- a/tests/sav/nitc/base_upcast2_alt8.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt8.nit:26,10: Type error: class T not found in module base_upcast2_alt8. -alt/base_upcast2_alt8.nit:26,19: Type error: class T not found in module base_upcast2_alt8. diff --git a/tests/sav/nitc/base_upcast2_alt9.res b/tests/sav/nitc/base_upcast2_alt9.res deleted file mode 100644 index fae1658..0000000 --- a/tests/sav/nitc/base_upcast2_alt9.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_upcast2_alt9.nit:26,10: Type error: class T not found in module base_upcast2_alt9. -alt/base_upcast2_alt9.nit:26,19: Type error: class T not found in module base_upcast2_alt9. diff --git a/tests/sav/nitc/base_var2_alt1.res b/tests/sav/nitc/base_var2_alt1.res deleted file mode 100644 index 9347b7e..0000000 --- a/tests/sav/nitc/base_var2_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt1.nit:22,6--7: Error: 'p1' already defined at 19,9--10. diff --git a/tests/sav/nitc/base_var2_alt2.res b/tests/sav/nitc/base_var2_alt2.res deleted file mode 100644 index 14fb585..0000000 --- a/tests/sav/nitc/base_var2_alt2.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt2.nit:33,6--7: Error: 'a1' already defined at 30,5--6. diff --git a/tests/sav/nitc/base_var2_alt3.res b/tests/sav/nitc/base_var2_alt3.res deleted file mode 100644 index 6e4f5ef..0000000 --- a/tests/sav/nitc/base_var2_alt3.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt3.nit:37,5--6: Error: 'a1' already defined at 30,5--6. diff --git a/tests/sav/nitc/base_var2_alt4.res b/tests/sav/nitc/base_var2_alt4.res deleted file mode 100644 index 5a63a89..0000000 --- a/tests/sav/nitc/base_var2_alt4.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt4.nit:41,6--7: Error: 'a1' already defined at 30,5--6. diff --git a/tests/sav/nitc/base_var2_alt5.res b/tests/sav/nitc/base_var2_alt5.res deleted file mode 100644 index f1b08e3..0000000 --- a/tests/sav/nitc/base_var2_alt5.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt5.nit:42,6--7: Error: 'a3' already defined at 39,5--6. diff --git a/tests/sav/nitc/base_var2_alt6.res b/tests/sav/nitc/base_var2_alt6.res deleted file mode 100644 index 7025146..0000000 --- a/tests/sav/nitc/base_var2_alt6.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt6.nit:46,6--7: Error: 'a2' already defined at 40,6--7. diff --git a/tests/sav/nitc/base_var2_alt9.res b/tests/sav/nitc/base_var2_alt9.res deleted file mode 100644 index af676c4..0000000 --- a/tests/sav/nitc/base_var2_alt9.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_var2_alt9.nit:27,18--19: Error: 'p1' already defined at 27,9--10. diff --git a/tests/sav/nitc/base_var_type_evolution_null3.res b/tests/sav/nitc/base_var_type_evolution_null3.res deleted file mode 100644 index 27bb2db..0000000 --- a/tests/sav/nitc/base_var_type_evolution_null3.res +++ /dev/null @@ -1,4 +0,0 @@ -base_var_type_evolution_null3.nit:52,5--13: Warning: comparaison between null and a non nullable value. -1 -1 -5 diff --git a/tests/sav/nitc/base_var_type_evolution_null3_alt1.res b/tests/sav/nitc/base_var_type_evolution_null3_alt1.res deleted file mode 100644 index c2a57c9..0000000 --- a/tests/sav/nitc/base_var_type_evolution_null3_alt1.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_var_type_evolution_null3_alt1.nit:44,8--9: Type error: expected A, got nullable A -alt/base_var_type_evolution_null3_alt1.nit:52,5--13: Warning: comparaison between null and a non nullable value. diff --git a/tests/sav/nitc/base_var_type_evolution_nullable.res b/tests/sav/nitc/base_var_type_evolution_nullable.res deleted file mode 100644 index 642baae..0000000 --- a/tests/sav/nitc/base_var_type_evolution_nullable.res +++ /dev/null @@ -1,4 +0,0 @@ -base_var_type_evolution_nullable.nit:33,5--11: Warning: Prefer '!= null'. -base_var_type_evolution_nullable.nit:39,9--15: Warning: Prefer '!= null'. -true -false diff --git a/tests/sav/nitc/base_var_untyped_alt6.res b/tests/sav/nitc/base_var_untyped_alt6.res deleted file mode 100644 index dd3223c..0000000 --- a/tests/sav/nitc/base_var_untyped_alt6.res +++ /dev/null @@ -1,2 +0,0 @@ -alt/base_var_untyped_alt6.nit:50,6--7: Error: variable 'b3' is possibly unset. -alt/base_var_untyped_alt6.nit:51,3--6: Error: Method '*' doesn't exists in nullable Object. diff --git a/tests/sav/nitc/base_vararg_alt1.res b/tests/sav/nitc/base_vararg_alt1.res deleted file mode 100644 index 57003b6..0000000 --- a/tests/sav/nitc/base_vararg_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt1.nit:51,1--3: Error: arity mismatch; prototype is 'foo(a: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt2.res b/tests/sav/nitc/base_vararg_alt2.res deleted file mode 100644 index 3e3cfea..0000000 --- a/tests/sav/nitc/base_vararg_alt2.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt2.nit:54,1--3: Error: arity mismatch; prototype is 'bar(b: Char, a: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt3.res b/tests/sav/nitc/base_vararg_alt3.res deleted file mode 100644 index eb35b9c..0000000 --- a/tests/sav/nitc/base_vararg_alt3.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt3.nit:55,1--8: Error: arity mismatch; prototype is 'bar(b: Char, a: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt4.res b/tests/sav/nitc/base_vararg_alt4.res deleted file mode 100644 index dd43957..0000000 --- a/tests/sav/nitc/base_vararg_alt4.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt4.nit:58,1--3: Error: arity mismatch; prototype is 'baz(a: Char, b: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt5.res b/tests/sav/nitc/base_vararg_alt5.res deleted file mode 100644 index c2619c6..0000000 --- a/tests/sav/nitc/base_vararg_alt5.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt5.nit:59,1--8: Error: arity mismatch; prototype is 'baz(a: Char, b: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt6.res b/tests/sav/nitc/base_vararg_alt6.res deleted file mode 100644 index 9fcbecc..0000000 --- a/tests/sav/nitc/base_vararg_alt6.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt6.nit:62,1--6: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char, c: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt7.res b/tests/sav/nitc/base_vararg_alt7.res deleted file mode 100644 index f2e8453..0000000 --- a/tests/sav/nitc/base_vararg_alt7.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt7.nit:63,1--11: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char, c: Char)'. diff --git a/tests/sav/nitc/base_vararg_alt8.res b/tests/sav/nitc/base_vararg_alt8.res deleted file mode 100644 index 1f3bac2..0000000 --- a/tests/sav/nitc/base_vararg_alt8.res +++ /dev/null @@ -1 +0,0 @@ -alt/base_vararg_alt8.nit:64,1--15: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char, c: Char)'. diff --git a/tests/sav/nitc/base_virtual_int2_alt2.res b/tests/sav/nitc/base_virtual_int2_alt2.res deleted file mode 100644 index 1366eb4..0000000 --- a/tests/sav/nitc/base_virtual_int2_alt2.res +++ /dev/null @@ -1,3 +0,0 @@ -Runtime error: Cast failed (alt/base_virtual_int2_alt2.nit) -4 -4 diff --git a/tests/sav/nitc/base_virtual_int_alt2.res b/tests/sav/nitc/base_virtual_int_alt2.res deleted file mode 100644 index a9013d7..0000000 --- a/tests/sav/nitc/base_virtual_int_alt2.res +++ /dev/null @@ -1,3 +0,0 @@ -Runtime error: Cast failed (../lib/standard/kernel.nit) -true -true diff --git a/tests/sav/nitc/base_virtual_type7.res b/tests/sav/nitc/base_virtual_type7.res deleted file mode 100644 index 6b60e8a..0000000 --- a/tests/sav/nitc/base_virtual_type7.res +++ /dev/null @@ -1 +0,0 @@ -base_virtual_type7.nit:20,10: Type error: circular definition in formal type F. diff --git a/tests/sav/nitc/base_virtual_type_check_alt10.res b/tests/sav/nitc/base_virtual_type_check_alt10.res deleted file mode 100644 index ce06d59..0000000 --- a/tests/sav/nitc/base_virtual_type_check_alt10.res +++ /dev/null @@ -1,26 +0,0 @@ -Runtime error: Cast failed (alt/base_virtual_type_check_alt10.nit) -J *) Std-Lib Inheritance metrics --- -(SLDUI) Proportion of SL types inheriting another type other than Object: na% -(SLCCDUI) Proportion of SL classes that extend some other class: na% -(SLCIDUI) Proportion of SL classes that implement some other interface: na% -(SLIIDUI) Proportion of SL interfaces that extend some other interface: na% -(SLIF) Proportion of SL types Inherited From: na% -(SLCCIF) Proportion of SL classes extended by class: na% -(SLICIF) Proportion of SL interfaces implemented by class: na% -(SLIIIF) Proportion of SL interfaces extended by interface: na% - ---- (SL -> SL) Std-Lib Inheritance metrics --- -(SLIFSL) Proportion of SL types Inherited From by SL type: na% -(SLCCIFSL) Proportion of SL classes extended by SL class: na% -(SLICIFSL) Proportion of SL interfaces implemented by SL class: na% -(SLIIIFSL) Proportion of SL interfaces extended by SL interface: na% - ---- (SL->UD) Std-Lib Inheritance metrics --- -(SLIFUD) Proportion of SL types Inherited From by UD type: na% -(SLCCIFUD) Proportion of SL classes extended by UD class: na% -(SLICIFUD) Proportion of SL interfaces implemented by UD class: na% -(SLIIIFUD) Proportion of SL interfaces extended by UD interface: na% - ---- (UD->*) User-Defined Inheritance metrics --- -(UDDUI) Proportion of UD types inheriting another type other than Object: 0.0% -(UDCCDUI) Proportion of UD classes that extend some other class: 0.0% -(UDCIDUI) Proportion of UD classes that implement some other interface: 0.0% -(UDIIDUI) Proportion of UD interfaces that extend some other interface: 0.0% -(UDIF) Proportion of UD types Inherited From: 20.00% -(UDCCIF) Proportion of UD classes extended by class: 0.0% -(UDICIF) Proportion of UD interfaces implemented by class: 100.00% -(UDIIIF) Proportion of UD interfaces extended by interface: 100.00% - ---- (UD -> SL) User-Defined Inheritance metrics --- -(UDDUISL) Proportion of UD types inheriting another type other SL type: 0.0% -(UDCCDUISL) Proportion of UD classes that extend some other SL class: 0.0% -(UDCIDUISL) Proportion of UD classes that implement some other SL interface: 0.0% -(UDIIDUISL) Proportion of UD interfaces that extend some other SL interface: 0.0% - ---- (UD -> UD) User-Defined Inheritance metrics --- -(UDDUIUD) Proportion of UD types inheriting another type other UD type: 0.0% -(UDCCDUIUD) Proportion of UD classes that extend some other UD class: 0.0% -(UDCIDUIUD) Proportion of UD classes that implement some other UD interface: 0.0% -(UDIIDUIUD) Proportion of UD interfaces that extend some other UD interface: 0.0% -(UDIFUD) Proportion of UD types Inherited From: 20.00% -(UDCCIFUD) Proportion of UD classes extended by UD class: 0.0% -(UDICIFUD) Proportion of UD interfaces implemented by UD class: 100.00% -(UDIIIFUD) Proportion of UD interfaces extended by UD interface: 100.00% -class_hierarchy.dot -classdef_hierarchy.dot -model.html -module_hierarchy.dot diff --git a/tests/sav/nitc/rterror_attr_def_alt7.res b/tests/sav/nitc/rterror_attr_def_alt7.res deleted file mode 100644 index c4d07ad..0000000 --- a/tests/sav/nitc/rterror_attr_def_alt7.res +++ /dev/null @@ -1 +0,0 @@ -Runtime error: Uninitialized attribute @a (alt/rterror_attr_def_alt7.nit) diff --git a/tests/sav/nitc/test_array_comb_alt1.res b/tests/sav/nitc/test_array_comb_alt1.res deleted file mode 100644 index d81a890..0000000 --- a/tests/sav/nitc/test_array_comb_alt1.res +++ /dev/null @@ -1 +0,0 @@ -alt/test_array_comb_alt1.nit:23,19--21: Type error: no most general type. Got String and nullable Int at 23,16. diff --git a/tests/sav/nitc/test_array_comb_alt2.res b/tests/sav/nitc/test_array_comb_alt2.res deleted file mode 100644 index f27b705..0000000 --- a/tests/sav/nitc/test_array_comb_alt2.res +++ /dev/null @@ -1 +0,0 @@ -alt/test_array_comb_alt2.nit:24,19--21: Type error: no most general type. Got String and nullable Int at 24,16. diff --git a/tests/sav/nitc/test_array_formal.res b/tests/sav/nitc/test_array_formal.res deleted file mode 100644 index b313f9a..0000000 --- a/tests/sav/nitc/test_array_formal.res +++ /dev/null @@ -1,51 +0,0 @@ -true -true -true - -true -true -true - -true -true -true - -true -true -true - - -true -true -true - -true -true -true - -true -true -true - -true -true -true - - -true -true -true - -true -true -true - -true -true -true - -true -true -true - - diff --git a/tests/sav/nitc/test_variance_attr.res b/tests/sav/nitc/test_variance_attr.res deleted file mode 100644 index d2482aa..0000000 --- a/tests/sav/nitc/test_variance_attr.res +++ /dev/null @@ -1,2 +0,0 @@ -test_variance_attr.nit:28,15--18: Redef error: Expected nullable Object, as in A::_foo. -test_variance_attr.nit:29,15--18: Redef error: Expected nullable A, as in A::_bar. diff --git a/tests/sav/nitc/test_variance_param_alt1.res b/tests/sav/nitc/test_variance_param_alt1.res deleted file mode 100644 index 242135d..0000000 --- a/tests/sav/nitc/test_variance_param_alt1.res +++ /dev/null @@ -1,4 +0,0 @@ -Runtime error: Cast failed (alt/test_variance_param_alt1.nit) -AB5 -B5 -5 diff --git a/tests/sav/nitc/test_variance_param_alt2.res b/tests/sav/nitc/test_variance_param_alt2.res deleted file mode 100644 index ee90c12..0000000 --- a/tests/sav/nitc/test_variance_param_alt2.res +++ /dev/null @@ -1,5 +0,0 @@ -Runtime error: Cast failed (alt/test_variance_param_alt2.nit) -AB5 -B5 -5 -B5 diff --git a/tests/sav/nitc/test_variance_param_alt3.res b/tests/sav/nitc/test_variance_param_alt3.res deleted file mode 100644 index d80727f..0000000 --- a/tests/sav/nitc/test_variance_param_alt3.res +++ /dev/null @@ -1,7 +0,0 @@ -Runtime error: Cast failed (alt/test_variance_param_alt3.nit) -AB5 -B5 -5 -B5 -5 -5 diff --git a/tests/sav/nitc/test_variance_param_alt4.res b/tests/sav/nitc/test_variance_param_alt4.res deleted file mode 100644 index 02c9a48..0000000 --- a/tests/sav/nitc/test_variance_param_alt4.res +++ /dev/null @@ -1,7 +0,0 @@ -Runtime error: Cast failed (alt/test_variance_param_alt4.nit) -AB5 -B5 -5 -B5 -5 -5 diff --git a/tests/sav/nitc/test_variance_param_alt5.res b/tests/sav/nitc/test_variance_param_alt5.res deleted file mode 100644 index a48e73a..0000000 --- a/tests/sav/nitc/test_variance_param_alt5.res +++ /dev/null @@ -1,8 +0,0 @@ -Runtime error: Cast failed (alt/test_variance_param_alt5.nit) -AB5 -B5 -5 -B5 -5 -5 -5 diff --git a/tests/sav/nitc/test_variance_param_alt6.res b/tests/sav/nitc/test_variance_param_alt6.res deleted file mode 100644 index 32891be..0000000 --- a/tests/sav/nitc/test_variance_param_alt6.res +++ /dev/null @@ -1,13 +0,0 @@ -Runtime error: Cast failed (alt/test_variance_param_alt6.nit) -AB5 -B5 -5 -B5 -5 -5 -5 -5 -5 -B5 -5 -5 diff --git a/tests/sav/nitc_args1.res b/tests/sav/nitc_args1.res deleted file mode 100644 index 3b18e51..0000000 --- a/tests/sav/nitc_args1.res +++ /dev/null @@ -1 +0,0 @@ -hello world diff --git a/tests/sav/nitc_args2.res b/tests/sav/nitc_args2.res deleted file mode 100644 index f00c965..0000000 --- a/tests/sav/nitc_args2.res +++ /dev/null @@ -1,10 +0,0 @@ -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 diff --git a/tests/sav/nits.res b/tests/sav/nits.res deleted file mode 100644 index 636e0e2..0000000 --- a/tests/sav/nits.res +++ /dev/null @@ -1,14 +0,0 @@ -usage: nits [options] file... - -W, --warn Show warnings - -q, --quiet Do not show warnings - --stop-on-first-error Stop on first error - --no-color Do not use color to display errors and warnings - --log Generate various log files - --log-dir Directory where to generate log files - -h, -?, --help Show Help (This screen) - --version Show version and exit - -v, --verbose Verbose - -I, --path Set include path for loaders (may be used more than once) - --only-parse Only proceed to parse step of loaders - --only-metamodel Stop after meta-model processing - -i, --in-place Generate stub files as .nit.[ch] instead of .stub.nit.[ch] diff --git a/tests/testall.sh b/tests/testall.sh index 07b1296..c053160 100755 --- a/tests/testall.sh +++ b/tests/testall.sh @@ -1,4 +1,4 @@ -for x in nitc nitg-g nitg-s nitg-e niti; do +for x in nitg-g nitg-s nitg-e niti; do echo "--engine $x" ./tests.sh --engine $x "$@" done diff --git a/tests/testfull.sh b/tests/testfull.sh index 8c93549..91e45bd 100755 --- a/tests/testfull.sh +++ b/tests/testfull.sh @@ -6,4 +6,4 @@ do y="$x/$bx.nit" test -f $y && list="$list $y" done -./tests.sh "$@" *.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/src/shoot_logic.nit ../lib/*.nit $list ../src/nitdoc.nit ../src/nits.nit ../src/nitc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit ../src/nitx.nit ../src/netdbg.nit ../src/nitlight.nit ../contrib/sort_downloads/src/sort_downloads.nit +./tests.sh "$@" *.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/src/shoot_logic.nit ../lib/*.nit $list ../src/nitdoc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit ../src/nitx.nit ../src/netdbg.nit ../src/nitlight.nit ../contrib/sort_downloads/src/sort_downloads.nit diff --git a/tests/tests.sh b/tests/tests.sh index 6e559b0..e9870ab 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -32,7 +32,7 @@ Usage: $e [options] modulenames -v Verbose (show tests steps) -h This help --tap Produce TAP output ---engine Use a specific engine (default=nitc) +--engine Use a specific engine (default=nitg) --noskip Do not skip a test even if the .skip file matches --[no]soso Force enable (or disable) SOSO END @@ -253,7 +253,7 @@ find_nitc() verbose=false stop=false tapcount=0 -engine=nitc +engine=nitg noskip= while [ $stop = false ]; do case $1 in @@ -270,9 +270,6 @@ while [ $stop = false ]; do done enginebinname=$engine case $engine in - nitc) - savdirs="sav/$engine/fixme/ sav/$engine/ sav/sav/ sav/" - ;; nitg) engine=nitg-s; enginebinname=nitg; diff --git a/tests/tests_icode.sh b/tests/tests_icode.sh deleted file mode 100755 index 6f55bfd..0000000 --- a/tests/tests_icode.sh +++ /dev/null @@ -1,204 +0,0 @@ -#!/bin/bash -# This file is part of NIT ( http://www.nitlanguage.org ). -# -# Copyright 2009 Jean-Sebastien Gelinas -# -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. - -usage() -{ - e=`basename "$0"` - cat</dev/null | head -1` - if [[ "x$recent" == "x" ]]; then - echo 'Could not find nitc, aborting' - exit 1 - fi - echo 'Using nitc from: '$recent - NITC=$recent -} - -# The default nitc compiler -[ -z "$NITC" ] && find_nitc - -if [ $# = 0 ]; then - usage; - exit -fi - -ok="" -nok="" - -# Process each files given as arguments -for ii in "$@"; do - if [ ! -f $ii ]; then - echo "File '$ii' does not exist." - continue - fi - - # Prepare the includes - tmp=${ii/../AA} - if [ "x$tmp" = "x$ii" ]; then - oincludes="-I . -I ../lib/standard -I ../lib/standard/collection" - else - oincludes="" - fi - - # Process each alternatives in the current file - for alt in "$ii" `./alterner.pl --start '#' "$ii"`; do - f=`basename "$ii" .nit` - d=`dirname "$ii"` - ff="$f" - i="$ii" - includes="$oincludes -I alt" - - echo -n "=> $i: " - - # Clean-up before compile and tests - rm -rf .nit_compile 2> /dev/null - - # Compile - # The point of ICode testing is to validate analysis/optimizations - # Force '--global' option ! - $NITC $OPT --global --output-format icode "$i" $includes 2> "out/$ff.cmp.err" > "out/$ff.compile.log" - ERR=$? - if [ "$ERR" != 0 ]; then - # Could not compile - echo "! [======= fail: Compilation error =======]" - nok="$nok $ff" - else - TEST_FILE=$d/$ff.tests - if [ ! -f $TEST_FILE ]; then - # Could not find the .tests file associated with this test - echo ". [======= fail: Cannot open test file =======]" - nok="$nok $ff" - continue - fi - echo "." - - # Execute tests - # Each lines in the .tests file describe a test to execute on the generated - # ICode. The file has 4 parameters: - # - The class - # - The method - # - The type of test - # - Arguments for the test - # We use the class to open the right icode file. - # We use a special method named "no-file" to ensure that the class file does not exist. - # If the method is different from "no-file" then we search in said method for the expression given - # with the _arguments_ field. This expression will be evaluated as a awk regexp. - # We have two types of tests : - # - has : the given argument must be found for the test to be successful - # - no : the given argument must NOT be found for the test to be successful - cptr=0 - while IFS=, read CLASS METHOD TYPE ATTR - do - ICODE_FILE=$d/.nit_compile/$CLASS.icode - let cptr+=1 - echo -n '==> Test #'$cptr' ...... ' - - if [ -f $ICODE_FILE ]; then - # Check if the file should exist - if [ "x$METHOD" = "xno-file" ]; then - # this is not normal, the file should not exist - echo "Failed" - nok="$nok $ff#$cptr" - continue - fi - - # Use awk to get the method in the file and search in it for the argument - awk ' - BEGIN{ - process=0 - } - /'"$METHOD"'/{ - process=1 - } - /^$/ { - process=0 - } - /'"$ATTR"'/{ - if(process){ - exit -3 - } - } - ' $ICODE_FILE - awkstatus=$? - - if [ $awkstatus -ne 0 ] ; then - # Found the value ! - if [ "x$TYPE" = "xno" ]; then - # Should not have beed found - echo "Failed" - nok="$nok $ff#$cptr" - elif [ "x$TYPE" = "xhas" ]; then - # Should have been found - echo "Ok" - ok="$ok $ff#$cptr" - else - echo "Test file format error !!!" - exit -1 - fi - else - # Value not found - if [ "x$TYPE" = "xno" ]; then - # Should not have beed found - echo "Ok" - ok="$ok $ff#$cptr" - elif [ "x$TYPE" = "xhas" ]; then - # Should have been found - echo "Failed" - nok="$nok $ff#$cptr" - else - echo "Test file format error !!!" - exit -1 - fi - fi - else - # The class file was not found - if [ "x$METHOD" = "xno-file" ]; then - # this is normal - echo "Ok" - ok="$ok $ff#$cptr" - else - # Should have been found - echo "Failed" - nok="$nok $ff#$cptr" - fi - fi - done < $TEST_FILE - fi - done -done - -echo "ok: " `echo $ok | wc -w` "/" `echo $ok $nok $nos | wc -w` - -if [ -n "$nok" ]; then - echo "fail: $nok" - echo "There were $(echo $nok | wc -w) errors !" -fi -if [ -n "$nos" ]; then - echo "no sav: $nos" -fi - -if [ -n "$nok" ]; then - exit 1 -else - exit 0 -fi -- 1.7.9.5