tests: cleanup sav directory
authorJean Privat <jean@pryen.org>
Mon, 11 Nov 2013 13:51:18 +0000 (08:51 -0500)
committerJean Privat <jean@pryen.org>
Mon, 11 Nov 2013 13:51:18 +0000 (08:51 -0500)
only .res (no more .sav or .fail)

Signed-off-by: Jean Privat <jean@pryen.org>

1364 files changed:
tests/sav/base_abort.res [moved from tests/sav/base_abort.sav with 100% similarity]
tests/sav/base_abstract_fun.res [moved from tests/sav/base_abstract_fun.sav with 100% similarity]
tests/sav/base_abstract_fun_alt1.res [moved from tests/sav/base_abstract_fun_alt1.sav with 100% similarity]
tests/sav/base_array.res [moved from tests/sav/base_array.sav with 100% similarity]
tests/sav/base_array_nullable.res [moved from tests/sav/base_array_nullable.sav with 100% similarity]
tests/sav/base_array_nullable_alt1.res [moved from tests/sav/base_array_nullable_alt1.sav with 100% similarity]
tests/sav/base_as_cast.res
tests/sav/base_as_cast.sav [deleted file]
tests/sav/base_as_cast_alt1.res
tests/sav/base_as_cast_alt1.sav [deleted file]
tests/sav/base_as_cast_alt2.res
tests/sav/base_as_cast_alt2.sav [deleted file]
tests/sav/base_as_cast_alt3.res
tests/sav/base_as_cast_alt3.sav [deleted file]
tests/sav/base_as_cast_alt4.res
tests/sav/base_as_cast_alt4.sav [deleted file]
tests/sav/base_as_cast_alt5.res
tests/sav/base_as_cast_alt5.sav [deleted file]
tests/sav/base_as_cast_alt6.res
tests/sav/base_as_cast_alt6.sav [deleted file]
tests/sav/base_assert.res [moved from tests/sav/base_assert.sav with 100% similarity]
tests/sav/base_assert2.res [moved from tests/sav/base_assert2.sav with 100% similarity]
tests/sav/base_assert2_alt1.res [moved from tests/sav/base_assert2_alt1.sav with 100% similarity]
tests/sav/base_assert2_alt2.res [moved from tests/sav/base_assert2_alt2.sav with 100% similarity]
tests/sav/base_assert2_alt3.res [moved from tests/sav/base_assert2_alt3.sav with 100% similarity]
tests/sav/base_assert2_alt4.res [moved from tests/sav/base_assert2_alt4.sav with 100% similarity]
tests/sav/base_assert_alt1.res [moved from tests/sav/base_assert_alt1.sav with 100% similarity]
tests/sav/base_assert_alt2.res [moved from tests/sav/base_assert_alt2.sav with 100% similarity]
tests/sav/base_assert_alt3.res [moved from tests/sav/base_assert_alt3.sav with 100% similarity]
tests/sav/base_assert_alt4.res [moved from tests/sav/base_assert_alt4.sav with 100% similarity]
tests/sav/base_assert_alt5.res [moved from tests/sav/base_assert_alt5.sav with 100% similarity]
tests/sav/base_assert_alt6.res [moved from tests/sav/base_assert_alt6.sav with 100% similarity]
tests/sav/base_attr.res [moved from tests/sav/base_attr.sav with 100% similarity]
tests/sav/base_attr2.res [moved from tests/sav/base_attr2.sav with 100% similarity]
tests/sav/base_attr3.res [moved from tests/sav/base_attr3.sav with 100% similarity]
tests/sav/base_attr4.res [moved from tests/sav/base_attr4.sav with 100% similarity]
tests/sav/base_attr4_alt1.res [moved from tests/sav/base_attr4_alt1.sav with 100% similarity]
tests/sav/base_attr4_alt2.res [moved from tests/sav/base_attr4_alt2.sav with 100% similarity]
tests/sav/base_attr5.res [moved from tests/sav/base_attr5.sav with 100% similarity]
tests/sav/base_attr5_alt1.res [moved from tests/sav/base_attr5_alt1.sav with 100% similarity]
tests/sav/base_attr5_alt11.res [moved from tests/sav/base_attr5_alt11.sav with 100% similarity]
tests/sav/base_attr5_alt13.res [moved from tests/sav/base_attr5_alt13.sav with 100% similarity]
tests/sav/base_attr5_alt15.res [moved from tests/sav/base_attr5_alt15.sav with 100% similarity]
tests/sav/base_attr5_alt16.res [moved from tests/sav/base_attr5_alt16.sav with 100% similarity]
tests/sav/base_attr5_alt2.res [moved from tests/sav/base_attr5_alt2.sav with 100% similarity]
tests/sav/base_attr5_alt22.res [moved from tests/sav/base_attr5_alt22.sav with 100% similarity]
tests/sav/base_attr5_alt24.res [moved from tests/sav/base_attr5_alt24.sav with 100% similarity]
tests/sav/base_attr5_alt25.res [moved from tests/sav/base_attr5_alt25.sav with 100% similarity]
tests/sav/base_attr5_alt26.res [moved from tests/sav/base_attr5_alt26.sav with 100% similarity]
tests/sav/base_attr5_alt3.res [moved from tests/sav/base_attr5_alt3.sav with 100% similarity]
tests/sav/base_attr5_alt4.res [moved from tests/sav/base_attr5_alt4.sav with 100% similarity]
tests/sav/base_attr5_alt6.res [moved from tests/sav/base_attr5_alt6.sav with 100% similarity]
tests/sav/base_attr6.res [moved from tests/sav/base_attr6.sav with 100% similarity]
tests/sav/base_attr7.res [moved from tests/sav/base_attr7.sav with 100% similarity]
tests/sav/base_attr_def.res [moved from tests/sav/base_attr_def.sav with 100% similarity]
tests/sav/base_attr_gen.res [moved from tests/sav/base_attr_gen.sav with 100% similarity]
tests/sav/base_attr_init_val1.res [moved from tests/sav/base_attr_init_val1.sav with 100% similarity]
tests/sav/base_attr_init_val2.res [moved from tests/sav/base_attr_init_val2.sav with 100% similarity]
tests/sav/base_attr_init_val3.res [moved from tests/sav/base_attr_init_val3.sav with 100% similarity]
tests/sav/base_attr_isset.res [moved from tests/sav/base_attr_isset.sav with 100% similarity]
tests/sav/base_attr_isset_alt1.res [moved from tests/sav/base_attr_isset_alt1.sav with 100% similarity]
tests/sav/base_attr_isset_alt2.res [moved from tests/sav/base_attr_isset_alt2.sav with 100% similarity]
tests/sav/base_attr_nullable.res [moved from tests/sav/base_attr_nullable.sav with 100% similarity]
tests/sav/base_attr_nullable_alt1.res [moved from tests/sav/base_attr_nullable_alt1.sav with 100% similarity]
tests/sav/base_attr_nullable_alt2.res
tests/sav/base_attr_nullable_alt3.res [moved from tests/sav/base_attr_nullable_alt3.sav with 100% similarity]
tests/sav/base_attr_nullable_alt4.res [moved from tests/sav/base_attr_nullable_alt4.sav with 100% similarity]
tests/sav/base_attr_nullable_alt5.res [moved from tests/sav/base_attr_nullable_alt5.sav with 100% similarity]
tests/sav/base_attr_nullable_int.res [moved from tests/sav/base_attr_nullable_int.sav with 100% similarity]
tests/sav/base_attr_nullable_int_alt1.res [moved from tests/sav/base_attr_nullable_int_alt1.sav with 100% similarity]
tests/sav/base_attr_nullable_int_alt3.res [moved from tests/sav/base_attr_nullable_int_alt3.sav with 100% similarity]
tests/sav/base_attr_nullable_int_alt4.res [moved from tests/sav/base_attr_nullable_int_alt4.sav with 100% similarity]
tests/sav/base_attr_nullable_int_alt5.res [moved from tests/sav/base_attr_nullable_int_alt5.sav with 100% similarity]
tests/sav/base_call1.res [moved from tests/sav/base_call1.sav with 100% similarity]
tests/sav/base_closure1.res [moved from tests/sav/base_closure1.sav with 100% similarity]
tests/sav/base_closure10.res [moved from tests/sav/base_closure10.sav with 100% similarity]
tests/sav/base_closure11.res [moved from tests/sav/base_closure11.sav with 100% similarity]
tests/sav/base_closure11_alt1.res [moved from tests/sav/base_closure11_alt1.sav with 100% similarity]
tests/sav/base_closure11_alt2.res [moved from tests/sav/base_closure11_alt2.sav with 100% similarity]
tests/sav/base_closure1_alt1.res [moved from tests/sav/base_closure1_alt1.sav with 100% similarity]
tests/sav/base_closure1_alt10.res [moved from tests/sav/base_closure1_alt10.sav with 100% similarity]
tests/sav/base_closure1_alt11.res [moved from tests/sav/base_closure1_alt11.sav with 100% similarity]
tests/sav/base_closure1_alt12.res [moved from tests/sav/base_closure1_alt12.sav with 100% similarity]
tests/sav/base_closure1_alt2.res [moved from tests/sav/base_closure1_alt2.sav with 100% similarity]
tests/sav/base_closure1_alt3.res [moved from tests/sav/base_closure1_alt3.sav with 100% similarity]
tests/sav/base_closure1_alt4.res [moved from tests/sav/base_closure1_alt4.sav with 100% similarity]
tests/sav/base_closure1_alt5.res [moved from tests/sav/base_closure1_alt5.sav with 100% similarity]
tests/sav/base_closure1_alt6.res [moved from tests/sav/base_closure1_alt6.sav with 100% similarity]
tests/sav/base_closure1_alt7.res [moved from tests/sav/base_closure1_alt7.sav with 100% similarity]
tests/sav/base_closure1_alt8.res [moved from tests/sav/base_closure1_alt8.sav with 100% similarity]
tests/sav/base_closure1_alt9.res [moved from tests/sav/base_closure1_alt9.sav with 100% similarity]
tests/sav/base_closure2.res [moved from tests/sav/base_closure2.sav with 100% similarity]
tests/sav/base_closure2_alt1.res [moved from tests/sav/base_closure2_alt1.sav with 100% similarity]
tests/sav/base_closure2_alt10.res [moved from tests/sav/base_closure2_alt10.sav with 100% similarity]
tests/sav/base_closure2_alt11.res [moved from tests/sav/base_closure2_alt11.sav with 100% similarity]
tests/sav/base_closure2_alt12.res [moved from tests/sav/base_closure2_alt12.sav with 100% similarity]
tests/sav/base_closure2_alt2.res [moved from tests/sav/base_closure2_alt2.sav with 100% similarity]
tests/sav/base_closure2_alt3.res [moved from tests/sav/base_closure2_alt3.sav with 100% similarity]
tests/sav/base_closure2_alt4.res [moved from tests/sav/base_closure2_alt4.sav with 100% similarity]
tests/sav/base_closure2_alt5.res [moved from tests/sav/base_closure2_alt5.sav with 100% similarity]
tests/sav/base_closure2_alt6.res [moved from tests/sav/base_closure2_alt6.sav with 100% similarity]
tests/sav/base_closure2_alt7.res [moved from tests/sav/base_closure2_alt7.sav with 100% similarity]
tests/sav/base_closure2_alt8.res [moved from tests/sav/base_closure2_alt8.sav with 100% similarity]
tests/sav/base_closure2_alt9.res [moved from tests/sav/base_closure2_alt9.sav with 100% similarity]
tests/sav/base_closure3.res [moved from tests/sav/base_closure3.sav with 100% similarity]
tests/sav/base_closure3_alt1.res [moved from tests/sav/base_closure3_alt1.sav with 100% similarity]
tests/sav/base_closure3_alt2.res [moved from tests/sav/base_closure3_alt2.sav with 100% similarity]
tests/sav/base_closure3_alt4.res [moved from tests/sav/base_closure3_alt4.sav with 100% similarity]
tests/sav/base_closure3_alt5.res [moved from tests/sav/base_closure3_alt5.sav with 100% similarity]
tests/sav/base_closure3_alt6.res [moved from tests/sav/base_closure3_alt6.sav with 100% similarity]
tests/sav/base_closure3_alt7.res [moved from tests/sav/base_closure3_alt7.sav with 100% similarity]
tests/sav/base_closure3_alt8.res [moved from tests/sav/base_closure3_alt8.sav with 100% similarity]
tests/sav/base_closure3_alt9.res [moved from tests/sav/base_closure3_alt9.sav with 100% similarity]
tests/sav/base_closure4.res [moved from tests/sav/base_closure4.sav with 100% similarity]
tests/sav/base_closure4_alt1.res [moved from tests/sav/base_closure4_alt1.sav with 100% similarity]
tests/sav/base_closure4_alt10.res [moved from tests/sav/base_closure4_alt10.sav with 100% similarity]
tests/sav/base_closure4_alt11.res [moved from tests/sav/base_closure4_alt11.sav with 100% similarity]
tests/sav/base_closure4_alt2.res [moved from tests/sav/base_closure4_alt2.sav with 100% similarity]
tests/sav/base_closure4_alt3.res [moved from tests/sav/base_closure4_alt3.sav with 100% similarity]
tests/sav/base_closure4_alt4.res [moved from tests/sav/base_closure4_alt4.sav with 100% similarity]
tests/sav/base_closure4_alt5.res [moved from tests/sav/base_closure4_alt5.sav with 100% similarity]
tests/sav/base_closure4_alt6.res [moved from tests/sav/base_closure4_alt6.sav with 100% similarity]
tests/sav/base_closure4_alt7.res [moved from tests/sav/base_closure4_alt7.sav with 100% similarity]
tests/sav/base_closure4_alt8.res [moved from tests/sav/base_closure4_alt8.sav with 100% similarity]
tests/sav/base_closure4_alt9.res [moved from tests/sav/base_closure4_alt9.sav with 100% similarity]
tests/sav/base_closure5.res [moved from tests/sav/base_closure5.sav with 100% similarity]
tests/sav/base_closure5_alt1.res [moved from tests/sav/base_closure5_alt1.sav with 100% similarity]
tests/sav/base_closure5_alt2.res [moved from tests/sav/base_closure5_alt2.sav with 100% similarity]
tests/sav/base_closure5_alt3.res [moved from tests/sav/base_closure5_alt3.sav with 100% similarity]
tests/sav/base_closure5_alt4.res [moved from tests/sav/base_closure5_alt4.sav with 100% similarity]
tests/sav/base_closure5_alt5.res [moved from tests/sav/base_closure5_alt5.sav with 100% similarity]
tests/sav/base_closure5_alt6.res [moved from tests/sav/base_closure5_alt6.sav with 100% similarity]
tests/sav/base_closure5_alt7.res [moved from tests/sav/base_closure5_alt7.sav with 100% similarity]
tests/sav/base_closure5_alt8.res [moved from tests/sav/base_closure5_alt8.sav with 100% similarity]
tests/sav/base_closure5_alt9.res [moved from tests/sav/base_closure5_alt9.sav with 100% similarity]
tests/sav/base_closure6.res [moved from tests/sav/base_closure6.sav with 100% similarity]
tests/sav/base_closure6_alt1.res [moved from tests/sav/base_closure6_alt1.sav with 100% similarity]
tests/sav/base_closure7.res [moved from tests/sav/base_closure7.sav with 100% similarity]
tests/sav/base_closure8.res [moved from tests/sav/base_closure8.sav with 100% similarity]
tests/sav/base_closure8_alt1.res [moved from tests/sav/base_closure8_alt1.sav with 100% similarity]
tests/sav/base_closure8_alt2.res [moved from tests/sav/base_closure8_alt2.sav with 100% similarity]
tests/sav/base_closure8_alt3.res [moved from tests/sav/base_closure8_alt3.sav with 100% similarity]
tests/sav/base_closure8_alt4.res [moved from tests/sav/base_closure8_alt4.sav with 100% similarity]
tests/sav/base_closure9.res [moved from tests/sav/base_closure9.sav with 100% similarity]
tests/sav/base_closure9_alt1.res [moved from tests/sav/base_closure9_alt1.sav with 100% similarity]
tests/sav/base_closure9_alt2.res [moved from tests/sav/base_closure9_alt2.sav with 100% similarity]
tests/sav/base_closure_break.res [moved from tests/sav/base_closure_break.sav with 100% similarity]
tests/sav/base_closure_break2.res [moved from tests/sav/base_closure_break2.sav with 100% similarity]
tests/sav/base_closure_break2_alt1.res [moved from tests/sav/base_closure_break2_alt1.sav with 100% similarity]
tests/sav/base_closure_break2_alt10.res [moved from tests/sav/base_closure_break2_alt10.sav with 100% similarity]
tests/sav/base_closure_break2_alt11.res [moved from tests/sav/base_closure_break2_alt11.sav with 100% similarity]
tests/sav/base_closure_break2_alt12.res [moved from tests/sav/base_closure_break2_alt12.sav with 100% similarity]
tests/sav/base_closure_break2_alt13.res [moved from tests/sav/base_closure_break2_alt13.sav with 100% similarity]
tests/sav/base_closure_break2_alt2.res [moved from tests/sav/base_closure_break2_alt2.sav with 100% similarity]
tests/sav/base_closure_break2_alt3.res [moved from tests/sav/base_closure_break2_alt3.sav with 100% similarity]
tests/sav/base_closure_break2_alt4.res [moved from tests/sav/base_closure_break2_alt4.sav with 100% similarity]
tests/sav/base_closure_break2_alt5.res [moved from tests/sav/base_closure_break2_alt5.sav with 100% similarity]
tests/sav/base_closure_break2_alt6.res [moved from tests/sav/base_closure_break2_alt6.sav with 100% similarity]
tests/sav/base_closure_break2_alt7.res [moved from tests/sav/base_closure_break2_alt7.sav with 100% similarity]
tests/sav/base_closure_break2_alt8.res [moved from tests/sav/base_closure_break2_alt8.sav with 100% similarity]
tests/sav/base_closure_break2_alt9.res [moved from tests/sav/base_closure_break2_alt9.sav with 100% similarity]
tests/sav/base_closure_break_alt1.res [moved from tests/sav/base_closure_break_alt1.sav with 100% similarity]
tests/sav/base_closure_break_alt10.res [moved from tests/sav/base_closure_break_alt10.sav with 100% similarity]
tests/sav/base_closure_break_alt11.res [moved from tests/sav/base_closure_break_alt11.sav with 100% similarity]
tests/sav/base_closure_break_alt12.res [moved from tests/sav/base_closure_break_alt12.sav with 100% similarity]
tests/sav/base_closure_break_alt13.res [moved from tests/sav/base_closure_break_alt13.sav with 100% similarity]
tests/sav/base_closure_break_alt2.res [moved from tests/sav/base_closure_break_alt2.sav with 100% similarity]
tests/sav/base_closure_break_alt3.res [moved from tests/sav/base_closure_break_alt3.sav with 100% similarity]
tests/sav/base_closure_break_alt4.res [moved from tests/sav/base_closure_break_alt4.sav with 100% similarity]
tests/sav/base_closure_break_alt5.res [moved from tests/sav/base_closure_break_alt5.sav with 100% similarity]
tests/sav/base_closure_break_alt6.res [moved from tests/sav/base_closure_break_alt6.sav with 100% similarity]
tests/sav/base_closure_break_alt7.res [moved from tests/sav/base_closure_break_alt7.sav with 100% similarity]
tests/sav/base_closure_break_alt8.res [moved from tests/sav/base_closure_break_alt8.sav with 100% similarity]
tests/sav/base_closure_break_alt9.res [moved from tests/sav/base_closure_break_alt9.sav with 100% similarity]
tests/sav/base_closure_break_default.res [moved from tests/sav/base_closure_break_default.sav with 100% similarity]
tests/sav/base_closure_break_default2.res [moved from tests/sav/base_closure_break_default2.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt1.res [moved from tests/sav/base_closure_break_default2_alt1.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt2.res [moved from tests/sav/base_closure_break_default2_alt2.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt3.res [moved from tests/sav/base_closure_break_default2_alt3.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt4.res [moved from tests/sav/base_closure_break_default2_alt4.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt5.res [moved from tests/sav/base_closure_break_default2_alt5.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt6.res [moved from tests/sav/base_closure_break_default2_alt6.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt7.res [moved from tests/sav/base_closure_break_default2_alt7.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt8.res [moved from tests/sav/base_closure_break_default2_alt8.sav with 100% similarity]
tests/sav/base_closure_break_default2_alt9.res [moved from tests/sav/base_closure_break_default2_alt9.sav with 100% similarity]
tests/sav/base_closure_break_default_alt1.res [moved from tests/sav/base_closure_break_default_alt1.sav with 100% similarity]
tests/sav/base_closure_break_default_alt2.res [moved from tests/sav/base_closure_break_default_alt2.sav with 100% similarity]
tests/sav/base_closure_break_default_alt3.res [moved from tests/sav/base_closure_break_default_alt3.sav with 100% similarity]
tests/sav/base_closure_break_default_alt4.res [moved from tests/sav/base_closure_break_default_alt4.sav with 100% similarity]
tests/sav/base_closure_break_default_alt5.res [moved from tests/sav/base_closure_break_default_alt5.sav with 100% similarity]
tests/sav/base_closure_break_default_alt6.res [moved from tests/sav/base_closure_break_default_alt6.sav with 100% similarity]
tests/sav/base_closure_break_default_alt7.res [moved from tests/sav/base_closure_break_default_alt7.sav with 100% similarity]
tests/sav/base_closure_continue_assign.res [moved from tests/sav/base_closure_continue_assign.sav with 100% similarity]
tests/sav/base_closure_continue_assign_alt1.res [moved from tests/sav/base_closure_continue_assign_alt1.sav with 100% similarity]
tests/sav/base_closure_continue_assign_alt2.res [moved from tests/sav/base_closure_continue_assign_alt2.sav with 100% similarity]
tests/sav/base_closure_continue_assign_alt3.res [moved from tests/sav/base_closure_continue_assign_alt3.sav with 100% similarity]
tests/sav/base_closure_default1.res [moved from tests/sav/base_closure_default1.sav with 100% similarity]
tests/sav/base_closure_default1_alt1.res [moved from tests/sav/base_closure_default1_alt1.sav with 100% similarity]
tests/sav/base_closure_default1_alt2.res [moved from tests/sav/base_closure_default1_alt2.sav with 100% similarity]
tests/sav/base_closure_default1_alt3.res [moved from tests/sav/base_closure_default1_alt3.sav with 100% similarity]
tests/sav/base_closure_default1_alt4.res [moved from tests/sav/base_closure_default1_alt4.sav with 100% similarity]
tests/sav/base_closure_default1_alt5.res [moved from tests/sav/base_closure_default1_alt5.sav with 100% similarity]
tests/sav/base_closure_default1_alt6.res [moved from tests/sav/base_closure_default1_alt6.sav with 100% similarity]
tests/sav/base_closure_default1_alt7.res [moved from tests/sav/base_closure_default1_alt7.sav with 100% similarity]
tests/sav/base_closure_default2.res [moved from tests/sav/base_closure_default2.sav with 100% similarity]
tests/sav/base_closure_default2_alt1.res [moved from tests/sav/base_closure_default2_alt1.sav with 100% similarity]
tests/sav/base_closure_default2_alt2.res [moved from tests/sav/base_closure_default2_alt2.sav with 100% similarity]
tests/sav/base_closure_default2_alt3.res [moved from tests/sav/base_closure_default2_alt3.sav with 100% similarity]
tests/sav/base_closure_default2_alt4.res [moved from tests/sav/base_closure_default2_alt4.sav with 100% similarity]
tests/sav/base_closure_default2_alt5.res [moved from tests/sav/base_closure_default2_alt5.sav with 100% similarity]
tests/sav/base_closure_default2_alt6.res [moved from tests/sav/base_closure_default2_alt6.sav with 100% similarity]
tests/sav/base_closure_default2_alt7.res [moved from tests/sav/base_closure_default2_alt7.sav with 100% similarity]
tests/sav/base_closure_default2_alt8.res [moved from tests/sav/base_closure_default2_alt8.sav with 100% similarity]
tests/sav/base_closure_default3.res [moved from tests/sav/base_closure_default3.sav with 100% similarity]
tests/sav/base_closure_default3_alt1.res [moved from tests/sav/base_closure_default3_alt1.sav with 100% similarity]
tests/sav/base_closure_default3_alt2.res [moved from tests/sav/base_closure_default3_alt2.sav with 100% similarity]
tests/sav/base_closure_default3_alt3.res [moved from tests/sav/base_closure_default3_alt3.sav with 100% similarity]
tests/sav/base_closure_default3_alt4.res [moved from tests/sav/base_closure_default3_alt4.sav with 100% similarity]
tests/sav/base_closure_default3_alt5.res [moved from tests/sav/base_closure_default3_alt5.sav with 100% similarity]
tests/sav/base_closure_default3_alt6.res [moved from tests/sav/base_closure_default3_alt6.sav with 100% similarity]
tests/sav/base_closure_default4.res [moved from tests/sav/base_closure_default4.sav with 100% similarity]
tests/sav/base_closure_default4_alt1.res [moved from tests/sav/base_closure_default4_alt1.sav with 100% similarity]
tests/sav/base_closure_default4_alt2.res [moved from tests/sav/base_closure_default4_alt2.sav with 100% similarity]
tests/sav/base_closure_default4_alt3.res [moved from tests/sav/base_closure_default4_alt3.sav with 100% similarity]
tests/sav/base_closure_default4_alt4.res [moved from tests/sav/base_closure_default4_alt4.sav with 100% similarity]
tests/sav/base_closure_default4_alt5.res [moved from tests/sav/base_closure_default4_alt5.sav with 100% similarity]
tests/sav/base_closure_default4_alt6.res [moved from tests/sav/base_closure_default4_alt6.sav with 100% similarity]
tests/sav/base_closure_default4_alt7.res [moved from tests/sav/base_closure_default4_alt7.sav with 100% similarity]
tests/sav/base_closure_forms.res [moved from tests/sav/base_closure_forms.sav with 100% similarity]
tests/sav/base_closure_multi.res [moved from tests/sav/base_closure_multi.sav with 100% similarity]
tests/sav/base_closure_multi_alt1.res [moved from tests/sav/base_closure_multi_alt1.sav with 100% similarity]
tests/sav/base_closure_multi_alt2.res [moved from tests/sav/base_closure_multi_alt2.sav with 100% similarity]
tests/sav/base_closure_multi_alt3.res [moved from tests/sav/base_closure_multi_alt3.sav with 100% similarity]
tests/sav/base_closure_multi_alt4.res [moved from tests/sav/base_closure_multi_alt4.sav with 100% similarity]
tests/sav/base_closure_multi_alt6.res [moved from tests/sav/base_closure_multi_alt6.sav with 100% similarity]
tests/sav/base_closure_single_return.res [moved from tests/sav/base_closure_single_return.sav with 100% similarity]
tests/sav/base_combined_assignment.res [moved from tests/sav/base_combined_assignment.sav with 100% similarity]
tests/sav/base_combined_assignment_alt1.res [moved from tests/sav/base_combined_assignment_alt1.sav with 100% similarity]
tests/sav/base_compile.res [moved from tests/sav/base_compile.sav with 100% similarity]
tests/sav/base_conflict_class_name.res [moved from tests/sav/base_conflict_class_name.sav with 100% similarity]
tests/sav/base_conflict_class_name_alt1.res [moved from tests/sav/base_conflict_class_name_alt1.sav with 100% similarity]
tests/sav/base_conflict_class_name_alt2.res [moved from tests/sav/base_conflict_class_name_alt2.sav with 100% similarity]
tests/sav/base_conflict_class_name_submodule1.res [moved from tests/sav/base_conflict_class_name_submodule1.sav with 100% similarity]
tests/sav/base_conflict_class_name_submodule2.res [moved from tests/sav/base_conflict_class_name_submodule2.sav with 100% similarity]
tests/sav/base_conflict_submodule_name.res [moved from tests/sav/base_conflict_submodule_name.sav with 100% similarity]
tests/sav/base_conflict_submodule_name_alt1.res [moved from tests/sav/base_conflict_submodule_name_alt1.sav with 100% similarity]
tests/sav/base_conflict_submodule_name_alt2.res [moved from tests/sav/base_conflict_submodule_name_alt2.sav with 100% similarity]
tests/sav/base_control_flow.res [moved from tests/sav/base_control_flow.sav with 100% similarity]
tests/sav/base_control_flow2.res [moved from tests/sav/base_control_flow2.sav with 100% similarity]
tests/sav/base_control_flow2_alt1.res [moved from tests/sav/base_control_flow2_alt1.sav with 100% similarity]
tests/sav/base_control_flow2_alt2.res [moved from tests/sav/base_control_flow2_alt2.sav with 100% similarity]
tests/sav/base_control_flow2_alt3.res [moved from tests/sav/base_control_flow2_alt3.sav with 100% similarity]
tests/sav/base_control_flow2_alt4.res [moved from tests/sav/base_control_flow2_alt4.sav with 100% similarity]
tests/sav/base_control_flow2_alt5.res [moved from tests/sav/base_control_flow2_alt5.sav with 100% similarity]
tests/sav/base_control_flow2_alt6.res [moved from tests/sav/base_control_flow2_alt6.sav with 100% similarity]
tests/sav/base_control_flow2_alt7.res [moved from tests/sav/base_control_flow2_alt7.sav with 100% similarity]
tests/sav/base_control_flow_alt1.res [moved from tests/sav/base_control_flow_alt1.sav with 100% similarity]
tests/sav/base_control_flow_alt2.res [moved from tests/sav/base_control_flow_alt2.sav with 100% similarity]
tests/sav/base_control_flow_alt3.res [moved from tests/sav/base_control_flow_alt3.sav with 100% similarity]
tests/sav/base_empty.res [moved from tests/sav/base_empty.sav with 100% similarity]
tests/sav/base_empty_comments.res [moved from tests/sav/base_empty_comments.sav with 100% similarity]
tests/sav/base_empty_module.res [moved from tests/sav/base_empty_module.sav with 100% similarity]
tests/sav/base_eq.res [moved from tests/sav/base_eq.sav with 100% similarity]
tests/sav/base_eq_int.res [moved from tests/sav/base_eq_int.sav with 100% similarity]
tests/sav/base_eq_int2.res [moved from tests/sav/base_eq_int2.sav with 100% similarity]
tests/sav/base_for_custom.res [moved from tests/sav/base_for_custom.sav with 100% similarity]
tests/sav/base_for_custom_alt1.res [moved from tests/sav/base_for_custom_alt1.sav with 100% similarity]
tests/sav/base_for_custom_alt2.res [moved from tests/sav/base_for_custom_alt2.sav with 100% similarity]
tests/sav/base_for_custom_alt3.res [moved from tests/sav/base_for_custom_alt3.sav with 100% similarity]
tests/sav/base_for_custom_alt4.res [moved from tests/sav/base_for_custom_alt4.sav with 100% similarity]
tests/sav/base_for_custom_alt5.res [moved from tests/sav/base_for_custom_alt5.sav with 100% similarity]
tests/sav/base_fun_reassign.res [moved from tests/sav/base_fun_reassign.sav with 100% similarity]
tests/sav/base_gen.res [moved from tests/sav/base_gen.sav with 100% similarity]
tests/sav/base_gen2.res [moved from tests/sav/base_gen2.sav with 100% similarity]
tests/sav/base_gen2_alt1.res [moved from tests/sav/base_gen2_alt1.sav with 100% similarity]
tests/sav/base_gen2_alt2.res [moved from tests/sav/base_gen2_alt2.sav with 100% similarity]
tests/sav/base_gen2_alt3.res [moved from tests/sav/base_gen2_alt3.sav with 100% similarity]
tests/sav/base_gen2_alt4.res [moved from tests/sav/base_gen2_alt4.sav with 100% similarity]
tests/sav/base_gen2_alt5.res [moved from tests/sav/base_gen2_alt5.sav with 100% similarity]
tests/sav/base_gen_alt1.res [moved from tests/sav/base_gen_alt1.sav with 100% similarity]
tests/sav/base_gen_bound.res [moved from tests/sav/base_gen_bound.sav with 100% similarity]
tests/sav/base_gen_int.res [moved from tests/sav/base_gen_int.sav with 100% similarity]
tests/sav/base_gen_int_alt1.res [moved from tests/sav/base_gen_int_alt1.sav with 100% similarity]
tests/sav/base_if_expr.res [moved from tests/sav/base_if_expr.sav with 100% similarity]
tests/sav/base_init.res [moved from tests/sav/base_init.sav with 100% similarity]
tests/sav/base_init_auto.res [moved from tests/sav/base_init_auto.sav with 100% similarity]
tests/sav/base_init_auto_alt1.res [moved from tests/sav/base_init_auto_alt1.sav with 100% similarity]
tests/sav/base_init_auto_alt2.res [moved from tests/sav/base_init_auto_alt2.sav with 100% similarity]
tests/sav/base_init_auto_alt3.res [moved from tests/sav/base_init_auto_alt3.sav with 100% similarity]
tests/sav/base_init_auto_alt4.res [moved from tests/sav/base_init_auto_alt4.sav with 100% similarity]
tests/sav/base_init_inh.res [moved from tests/sav/base_init_inh.sav with 100% similarity]
tests/sav/base_init_inherit.res [moved from tests/sav/base_init_inherit.sav with 100% similarity]
tests/sav/base_init_inherit2.res [moved from tests/sav/base_init_inherit2.sav with 100% similarity]
tests/sav/base_init_inherit2_alt0.res [moved from tests/sav/base_init_inherit2_alt0.sav with 100% similarity]
tests/sav/base_init_inherit2_alt1.res [moved from tests/sav/base_init_inherit2_alt1.sav with 100% similarity]
tests/sav/base_init_inherit2_alt2.res [moved from tests/sav/base_init_inherit2_alt2.sav with 100% similarity]
tests/sav/base_init_inherit2_alt3.res [moved from tests/sav/base_init_inherit2_alt3.sav with 100% similarity]
tests/sav/base_init_inherit3.res [moved from tests/sav/base_init_inherit3.sav with 100% similarity]
tests/sav/base_init_inherit3_alt0.res [moved from tests/sav/base_init_inherit3_alt0.sav with 100% similarity]
tests/sav/base_init_inherit3_alt1.res [moved from tests/sav/base_init_inherit3_alt1.sav with 100% similarity]
tests/sav/base_init_inherit3_alt2.res [moved from tests/sav/base_init_inherit3_alt2.sav with 100% similarity]
tests/sav/base_init_inherit3_alt3.res [moved from tests/sav/base_init_inherit3_alt3.sav with 100% similarity]
tests/sav/base_init_inherit4.res [moved from tests/sav/base_init_inherit4.sav with 100% similarity]
tests/sav/base_init_inherit4_alt0.res [moved from tests/sav/base_init_inherit4_alt0.sav with 100% similarity]
tests/sav/base_init_inherit4_alt1.res [moved from tests/sav/base_init_inherit4_alt1.sav with 100% similarity]
tests/sav/base_init_inherit4_alt2.res [moved from tests/sav/base_init_inherit4_alt2.sav with 100% similarity]
tests/sav/base_init_inherit4_alt3.res [moved from tests/sav/base_init_inherit4_alt3.sav with 100% similarity]
tests/sav/base_init_inherit5.res [moved from tests/sav/base_init_inherit5.sav with 100% similarity]
tests/sav/base_init_inherit_alt1.res [moved from tests/sav/base_init_inherit_alt1.sav with 100% similarity]
tests/sav/base_init_linext.res [moved from tests/sav/base_init_linext.sav with 100% similarity]
tests/sav/base_init_linext2.res [moved from tests/sav/base_init_linext2.sav with 100% similarity]
tests/sav/base_init_linext2_alt1.res [moved from tests/sav/base_init_linext2_alt1.sav with 100% similarity]
tests/sav/base_init_linext2_alt2.res [moved from tests/sav/base_init_linext2_alt2.sav with 100% similarity]
tests/sav/base_init_linext2_alt3.res [moved from tests/sav/base_init_linext2_alt3.sav with 100% similarity]
tests/sav/base_init_linext2_alt4.res [moved from tests/sav/base_init_linext2_alt4.sav with 100% similarity]
tests/sav/base_init_linext2_alt5.res [moved from tests/sav/base_init_linext2_alt5.sav with 100% similarity]
tests/sav/base_init_linext_alt0.res [moved from tests/sav/base_init_linext_alt0.sav with 100% similarity]
tests/sav/base_init_linext_alt1.res [moved from tests/sav/base_init_linext_alt1.sav with 100% similarity]
tests/sav/base_init_linext_alt10.res [moved from tests/sav/base_init_linext_alt10.sav with 100% similarity]
tests/sav/base_init_linext_alt11.res [moved from tests/sav/base_init_linext_alt11.sav with 100% similarity]
tests/sav/base_init_linext_alt12.res [moved from tests/sav/base_init_linext_alt12.sav with 100% similarity]
tests/sav/base_init_linext_alt13.res [moved from tests/sav/base_init_linext_alt13.sav with 100% similarity]
tests/sav/base_init_linext_alt14.res [moved from tests/sav/base_init_linext_alt14.sav with 100% similarity]
tests/sav/base_init_linext_alt15.res [moved from tests/sav/base_init_linext_alt15.sav with 100% similarity]
tests/sav/base_init_linext_alt2.res [moved from tests/sav/base_init_linext_alt2.sav with 100% similarity]
tests/sav/base_init_linext_alt3.res [moved from tests/sav/base_init_linext_alt3.sav with 100% similarity]
tests/sav/base_init_linext_alt4.res [moved from tests/sav/base_init_linext_alt4.sav with 100% similarity]
tests/sav/base_init_linext_alt5.res [moved from tests/sav/base_init_linext_alt5.sav with 100% similarity]
tests/sav/base_init_linext_alt6.res [moved from tests/sav/base_init_linext_alt6.sav with 100% similarity]
tests/sav/base_init_linext_alt7.res [moved from tests/sav/base_init_linext_alt7.sav with 100% similarity]
tests/sav/base_init_linext_alt8.res [moved from tests/sav/base_init_linext_alt8.sav with 100% similarity]
tests/sav/base_init_linext_alt9.res [moved from tests/sav/base_init_linext_alt9.sav with 100% similarity]
tests/sav/base_init_linext_raf.res [moved from tests/sav/base_init_linext_raf.sav with 100% similarity]
tests/sav/base_init_raf.res [moved from tests/sav/base_init_raf.sav with 100% similarity]
tests/sav/base_init_simple.res [moved from tests/sav/base_init_simple.sav with 100% similarity]
tests/sav/base_inline.res [moved from tests/sav/base_inline.sav with 100% similarity]
tests/sav/base_inline_closure.res [moved from tests/sav/base_inline_closure.sav with 100% similarity]
tests/sav/base_inline_closure2.res [moved from tests/sav/base_inline_closure2.sav with 100% similarity]
tests/sav/base_inline_closure_escape.res [moved from tests/sav/base_inline_closure_escape.sav with 100% similarity]
tests/sav/base_inline_closure_escape2.res [moved from tests/sav/base_inline_closure_escape2.sav with 100% similarity]
tests/sav/base_inline_closure_escape2_alt1.res [moved from tests/sav/base_inline_closure_escape2_alt1.sav with 100% similarity]
tests/sav/base_inline_closure_escape2_alt2.res [moved from tests/sav/base_inline_closure_escape2_alt2.sav with 100% similarity]
tests/sav/base_inline_closure_escape2_alt3.res [moved from tests/sav/base_inline_closure_escape2_alt3.sav with 100% similarity]
tests/sav/base_inline_closure_escape2_alt4.res [moved from tests/sav/base_inline_closure_escape2_alt4.sav with 100% similarity]
tests/sav/base_inline_closure_escape2_alt5.res [moved from tests/sav/base_inline_closure_escape2_alt5.sav with 100% similarity]
tests/sav/base_inline_closure_escape3.res [moved from tests/sav/base_inline_closure_escape3.sav with 100% similarity]
tests/sav/base_inline_closure_escape3_alt1.res [moved from tests/sav/base_inline_closure_escape3_alt1.sav with 100% similarity]
tests/sav/base_inline_closure_escape3_alt2.res [moved from tests/sav/base_inline_closure_escape3_alt2.sav with 100% similarity]
tests/sav/base_inline_closure_escape3_alt3.res [moved from tests/sav/base_inline_closure_escape3_alt3.sav with 100% similarity]
tests/sav/base_inline_closure_escape3_alt4.res [moved from tests/sav/base_inline_closure_escape3_alt4.sav with 100% similarity]
tests/sav/base_inline_closure_escape3_alt5.res [moved from tests/sav/base_inline_closure_escape3_alt5.sav with 100% similarity]
tests/sav/base_inline_closure_escape_alt1.res [moved from tests/sav/base_inline_closure_escape_alt1.sav with 100% similarity]
tests/sav/base_inline_closure_escape_alt2.res [moved from tests/sav/base_inline_closure_escape_alt2.sav with 100% similarity]
tests/sav/base_inline_closure_escape_alt3.res [moved from tests/sav/base_inline_closure_escape_alt3.sav with 100% similarity]
tests/sav/base_inline_closure_escape_alt4.res [moved from tests/sav/base_inline_closure_escape_alt4.sav with 100% similarity]
tests/sav/base_inline_closure_escape_alt5.res [moved from tests/sav/base_inline_closure_escape_alt5.sav with 100% similarity]
tests/sav/base_inline_closure_fork.res [moved from tests/sav/base_inline_closure_fork.sav with 100% similarity]
tests/sav/base_inline_closure_fork2.res [moved from tests/sav/base_inline_closure_fork2.sav with 100% similarity]
tests/sav/base_inline_closure_fork2_alt1.res [moved from tests/sav/base_inline_closure_fork2_alt1.sav with 100% similarity]
tests/sav/base_inline_closure_fork2_alt2.res [moved from tests/sav/base_inline_closure_fork2_alt2.sav with 100% similarity]
tests/sav/base_inline_closure_fork2_alt3.res [moved from tests/sav/base_inline_closure_fork2_alt3.sav with 100% similarity]
tests/sav/base_inline_closure_fork2_alt4.res [moved from tests/sav/base_inline_closure_fork2_alt4.sav with 100% similarity]
tests/sav/base_inline_closure_fork_alt1.res [moved from tests/sav/base_inline_closure_fork_alt1.sav with 100% similarity]
tests/sav/base_inline_closure_fork_alt2.res [moved from tests/sav/base_inline_closure_fork_alt2.sav with 100% similarity]
tests/sav/base_inline_closure_fork_alt3.res [moved from tests/sav/base_inline_closure_fork_alt3.sav with 100% similarity]
tests/sav/base_inline_closure_fork_alt4.res [moved from tests/sav/base_inline_closure_fork_alt4.sav with 100% similarity]
tests/sav/base_inline_closure_nested.res [moved from tests/sav/base_inline_closure_nested.sav with 100% similarity]
tests/sav/base_inline_closurecall.res [moved from tests/sav/base_inline_closurecall.sav with 100% similarity]
tests/sav/base_inline_nested.res [moved from tests/sav/base_inline_nested.sav with 100% similarity]
tests/sav/base_inline_nested2.res [moved from tests/sav/base_inline_nested2.sav with 100% similarity]
tests/sav/base_inline_statement.res [moved from tests/sav/base_gen_f.sav with 100% similarity]
tests/sav/base_inline_statement_alt1.res [moved from tests/sav/base_inline_statement_alt1.sav with 100% similarity]
tests/sav/base_inline_statement_alt2.res [moved from tests/sav/base_inline_statement_alt2.sav with 100% similarity]
tests/sav/base_inline_statement_alt3.res [moved from tests/sav/base_inline_statement_alt3.sav with 100% similarity]
tests/sav/base_int.res [moved from tests/sav/base_int.sav with 100% similarity]
tests/sav/base_int2.res [moved from tests/sav/base_int2.sav with 100% similarity]
tests/sav/base_isa.res
tests/sav/base_isa.sav [deleted file]
tests/sav/base_isa1.res
tests/sav/base_isa_cast.res [moved from tests/sav/base_isa_cast.sav with 100% similarity]
tests/sav/base_isa_cast2.res [moved from tests/sav/base_isa_cast2.sav with 100% similarity]
tests/sav/base_isa_cast2_alt1.res [moved from tests/sav/base_isa_cast2_alt1.sav with 100% similarity]
tests/sav/base_isa_cast2_alt2.res [moved from tests/sav/base_isa_cast2_alt2.sav with 100% similarity]
tests/sav/base_isa_cast2_alt3.res [moved from tests/sav/base_isa_cast2_alt3.sav with 100% similarity]
tests/sav/base_isa_cast2_alt4.res [moved from tests/sav/base_isa_cast2_alt4.sav with 100% similarity]
tests/sav/base_isa_cast2_alt5.res [moved from tests/sav/base_isa_cast2_alt5.sav with 100% similarity]
tests/sav/base_isa_cast2_alt6.res [moved from tests/sav/base_isa_cast2_alt6.sav with 100% similarity]
tests/sav/base_isa_cast2_alt7.res [moved from tests/sav/base_isa_cast2_alt7.sav with 100% similarity]
tests/sav/base_isa_cast2_alt8.res [moved from tests/sav/base_isa_cast2_alt8.sav with 100% similarity]
tests/sav/base_isa_cast3.res [moved from tests/sav/base_isa_cast3.sav with 100% similarity]
tests/sav/base_isa_cast3_alt1.res [moved from tests/sav/base_isa_cast3_alt1.sav with 100% similarity]
tests/sav/base_isa_cast3_alt2.res [moved from tests/sav/base_isa_cast3_alt2.sav with 100% similarity]
tests/sav/base_isa_cast3_alt3.res [moved from tests/sav/base_isa_cast3_alt3.sav with 100% similarity]
tests/sav/base_isa_cast3_alt4.res [moved from tests/sav/base_isa_cast3_alt4.sav with 100% similarity]
tests/sav/base_isa_cast3_alt5.res [moved from tests/sav/base_isa_cast3_alt5.sav with 100% similarity]
tests/sav/base_isa_cast3_alt6.res [moved from tests/sav/base_isa_cast3_alt6.sav with 100% similarity]
tests/sav/base_isa_cast3_alt7.res [moved from tests/sav/base_isa_cast3_alt7.sav with 100% similarity]
tests/sav/base_isa_cast3_alt8.res [moved from tests/sav/base_isa_cast3_alt8.sav with 100% similarity]
tests/sav/base_isa_cast3_alt9.res [moved from tests/sav/base_isa_cast3_alt9.sav with 100% similarity]
tests/sav/base_isa_cast4.res [moved from tests/sav/base_isa_cast4.sav with 100% similarity]
tests/sav/base_isa_cast4_alt1.res [moved from tests/sav/base_isa_cast4_alt1.sav with 100% similarity]
tests/sav/base_isa_cast4_alt2.res [moved from tests/sav/base_isa_cast4_alt2.sav with 100% similarity]
tests/sav/base_isa_cast4_alt3.res [moved from tests/sav/base_isa_cast4_alt3.sav with 100% similarity]
tests/sav/base_isa_cast4_alt4.res [moved from tests/sav/base_isa_cast4_alt4.sav with 100% similarity]
tests/sav/base_isa_cast_alt1.res [moved from tests/sav/base_isa_cast_alt1.sav with 100% similarity]
tests/sav/base_isa_cast_alt2.res [moved from tests/sav/base_isa_cast_alt2.sav with 100% similarity]
tests/sav/base_isa_cast_alt3.res [moved from tests/sav/base_isa_cast_alt3.sav with 100% similarity]
tests/sav/base_isa_cast_alt4.res [moved from tests/sav/base_isa_cast_alt4.sav with 100% similarity]
tests/sav/base_isa_cast_alt5.res [moved from tests/sav/base_isa_cast_alt5.sav with 100% similarity]
tests/sav/base_isa_cast_alt6.res [moved from tests/sav/base_isa_cast_alt6.sav with 100% similarity]
tests/sav/base_isa_cast_self.res [moved from tests/sav/base_isa_cast_self.sav with 100% similarity]
tests/sav/base_isa_cast_self_alt1.res [moved from tests/sav/base_isa_cast_self_alt1.sav with 100% similarity]
tests/sav/base_isa_cast_self_alt2.res [moved from tests/sav/base_isa_cast_self_alt2.sav with 100% similarity]
tests/sav/base_isa_cast_self_alt3.res [moved from tests/sav/base_isa_cast_self_alt3.sav with 100% similarity]
tests/sav/base_isa_cast_self_alt4.res [moved from tests/sav/base_isa_cast_self_alt4.sav with 100% similarity]
tests/sav/base_isa_cast_self_alt5.res [moved from tests/sav/base_isa_cast_self_alt5.sav with 100% similarity]
tests/sav/base_isa_cast_self_alt6.res [moved from tests/sav/base_isa_cast_self_alt6.sav with 100% similarity]
tests/sav/base_isa_ft.res [moved from tests/sav/base_isa_ft.sav with 100% similarity]
tests/sav/base_isa_ft2.res [moved from tests/sav/base_isa_ft2.sav with 100% similarity]
tests/sav/base_isa_vt_gen1.res
tests/sav/base_iterate_range.res [moved from tests/sav/base_iterate_range.sav with 100% similarity]
tests/sav/base_label_closure.res [moved from tests/sav/base_label_closure.sav with 100% similarity]
tests/sav/base_label_closure2.res [moved from tests/sav/base_label_closure2.sav with 100% similarity]
tests/sav/base_label_closure2_alt1.res [moved from tests/sav/base_label_closure2_alt1.sav with 100% similarity]
tests/sav/base_label_closure2_alt2.res [moved from tests/sav/base_label_closure2_alt2.sav with 100% similarity]
tests/sav/base_label_closure2_alt3.res [moved from tests/sav/base_label_closure2_alt3.sav with 100% similarity]
tests/sav/base_label_closure2_alt4.res [moved from tests/sav/base_label_closure2_alt4.sav with 100% similarity]
tests/sav/base_label_closure2_alt5.res [moved from tests/sav/base_label_closure2_alt5.sav with 100% similarity]
tests/sav/base_label_closure2_alt6.res [moved from tests/sav/base_label_closure2_alt6.sav with 100% similarity]
tests/sav/base_label_closure2_alt7.res [moved from tests/sav/base_label_closure2_alt7.sav with 100% similarity]
tests/sav/base_label_closure3.res [moved from tests/sav/base_label_closure3.sav with 100% similarity]
tests/sav/base_label_closure3_alt1.res [moved from tests/sav/base_label_closure3_alt1.sav with 100% similarity]
tests/sav/base_label_closure3_alt2.res [moved from tests/sav/base_label_closure3_alt2.sav with 100% similarity]
tests/sav/base_label_closure3_alt3.res [moved from tests/sav/base_label_closure3_alt3.sav with 100% similarity]
tests/sav/base_label_closure3_alt4.res [moved from tests/sav/base_label_closure3_alt4.sav with 100% similarity]
tests/sav/base_label_closure3_alt5.res [moved from tests/sav/base_label_closure3_alt5.sav with 100% similarity]
tests/sav/base_label_closure3_alt6.res [moved from tests/sav/base_label_closure3_alt6.sav with 100% similarity]
tests/sav/base_label_closure3_alt7.res [moved from tests/sav/base_label_closure3_alt7.sav with 100% similarity]
tests/sav/base_label_closure_alt1.res [moved from tests/sav/base_label_closure_alt1.sav with 100% similarity]
tests/sav/base_label_closure_alt2.res [moved from tests/sav/base_label_closure_alt2.sav with 100% similarity]
tests/sav/base_label_closure_alt3.res [moved from tests/sav/base_label_closure_alt3.sav with 100% similarity]
tests/sav/base_label_closure_alt4.res [moved from tests/sav/base_label_closure_alt4.sav with 100% similarity]
tests/sav/base_label_closure_alt5.res [moved from tests/sav/base_label_closure_alt5.sav with 100% similarity]
tests/sav/base_label_closure_alt6.res [moved from tests/sav/base_label_closure_alt6.sav with 100% similarity]
tests/sav/base_label_closure_alt7.res [moved from tests/sav/base_label_closure_alt7.sav with 100% similarity]
tests/sav/base_label_do.res [moved from tests/sav/base_label_do.sav with 100% similarity]
tests/sav/base_label_do_alt1.res [moved from tests/sav/base_label_do_alt1.sav with 100% similarity]
tests/sav/base_label_do_alt2.res [moved from tests/sav/base_label_do_alt2.sav with 100% similarity]
tests/sav/base_label_do_alt3.res [moved from tests/sav/base_label_do_alt3.sav with 100% similarity]
tests/sav/base_label_do_alt5.res [moved from tests/sav/base_label_do_alt5.sav with 100% similarity]
tests/sav/base_label_do_alt7.res [moved from tests/sav/base_label_do_alt7.sav with 100% similarity]
tests/sav/base_label_for.res [moved from tests/sav/base_label_for.sav with 100% similarity]
tests/sav/base_label_for_alt1.res [moved from tests/sav/base_label_for_alt1.sav with 100% similarity]
tests/sav/base_label_for_alt2.res [moved from tests/sav/base_label_for_alt2.sav with 100% similarity]
tests/sav/base_label_for_alt3.res [moved from tests/sav/base_label_for_alt3.sav with 100% similarity]
tests/sav/base_label_for_alt4.res [moved from tests/sav/base_label_for_alt4.sav with 100% similarity]
tests/sav/base_label_for_alt5.res [moved from tests/sav/base_label_for_alt5.sav with 100% similarity]
tests/sav/base_label_for_alt7.res [moved from tests/sav/base_label_for_alt7.sav with 100% similarity]
tests/sav/base_label_loop.res [moved from tests/sav/base_label_loop.sav with 100% similarity]
tests/sav/base_label_loop_alt1.res [moved from tests/sav/base_label_loop_alt1.sav with 100% similarity]
tests/sav/base_label_loop_alt2.res [moved from tests/sav/base_label_loop_alt2.sav with 100% similarity]
tests/sav/base_label_loop_alt3.res [moved from tests/sav/base_label_loop_alt3.sav with 100% similarity]
tests/sav/base_label_loop_alt4.res [moved from tests/sav/base_label_loop_alt4.sav with 100% similarity]
tests/sav/base_label_loop_alt5.res [moved from tests/sav/base_label_loop_alt5.sav with 100% similarity]
tests/sav/base_label_loop_alt7.res [moved from tests/sav/base_label_loop_alt7.sav with 100% similarity]
tests/sav/base_label_while.res [moved from tests/sav/base_label_while.sav with 100% similarity]
tests/sav/base_label_while_alt1.res [moved from tests/sav/base_label_while_alt1.sav with 100% similarity]
tests/sav/base_label_while_alt2.res [moved from tests/sav/base_label_while_alt2.sav with 100% similarity]
tests/sav/base_label_while_alt3.res [moved from tests/sav/base_label_while_alt3.sav with 100% similarity]
tests/sav/base_label_while_alt4.res [moved from tests/sav/base_label_while_alt4.sav with 100% similarity]
tests/sav/base_label_while_alt5.res [moved from tests/sav/base_label_while_alt5.sav with 100% similarity]
tests/sav/base_label_while_alt7.res [moved from tests/sav/base_label_while_alt7.sav with 100% similarity]
tests/sav/base_meth_call.res [moved from tests/sav/base_meth_call.sav with 100% similarity]
tests/sav/base_meth_call_alt1.res [moved from tests/sav/base_meth_call_alt1.sav with 100% similarity]
tests/sav/base_meth_call_alt2.res [moved from tests/sav/base_meth_call_alt2.sav with 100% similarity]
tests/sav/base_meth_call_alt3.res [moved from tests/sav/base_meth_call_alt3.sav with 100% similarity]
tests/sav/base_meth_call_alt4.res [moved from tests/sav/base_meth_call_alt4.sav with 100% similarity]
tests/sav/base_nullable.res [moved from tests/sav/base_inline_statement.sav with 100% similarity]
tests/sav/base_nullable_alt1.res [moved from tests/sav/base_nullable_alt1.sav with 100% similarity]
tests/sav/base_nullable_alt10.res [moved from tests/sav/base_nullable_alt10.sav with 100% similarity]
tests/sav/base_nullable_alt2.res [moved from tests/sav/base_nullable_alt2.sav with 100% similarity]
tests/sav/base_nullable_alt3.res [moved from tests/sav/base_nullable_alt3.sav with 100% similarity]
tests/sav/base_nullable_alt4.res [moved from tests/sav/base_nullable_alt4.sav with 100% similarity]
tests/sav/base_nullable_alt5.res [moved from tests/sav/base_nullable_alt5.sav with 100% similarity]
tests/sav/base_nullable_alt6.res [moved from tests/sav/base_nullable_alt6.sav with 100% similarity]
tests/sav/base_nullable_alt7.res [moved from tests/sav/base_nullable_alt7.sav with 100% similarity]
tests/sav/base_nullable_alt8.res [moved from tests/sav/base_nullable_alt8.sav with 100% similarity]
tests/sav/base_nullable_alt9.res [moved from tests/sav/base_nullable_alt9.sav with 100% similarity]
tests/sav/base_once.res [moved from tests/sav/base_once.sav with 100% similarity]
tests/sav/base_orelse.res [moved from tests/sav/base_orelse.sav with 100% similarity]
tests/sav/base_orelse_alt1.res [moved from tests/sav/base_orelse_alt1.sav with 100% similarity]
tests/sav/base_orelse_alt2.res [moved from tests/sav/base_orelse_alt2.sav with 100% similarity]
tests/sav/base_polymorphic_init.res [moved from tests/sav/base_polymorphic_init.sav with 100% similarity]
tests/sav/base_polymorphic_init2.res [moved from tests/sav/base_polymorphic_init2.sav with 100% similarity]
tests/sav/base_primitive.res [moved from tests/sav/base_primitive.sav with 100% similarity]
tests/sav/base_primitive_null.res [moved from tests/sav/base_primitive_null.sav with 100% similarity]
tests/sav/base_primitive_null_alt1.res [moved from tests/sav/base_primitive_null_alt1.sav with 100% similarity]
tests/sav/base_primitive_null_alt2.res [moved from tests/sav/base_primitive_null_alt2.sav with 100% similarity]
tests/sav/base_primitive_null_alt3.res [moved from tests/sav/base_primitive_null_alt3.sav with 100% similarity]
tests/sav/base_prot.res [moved from tests/sav/base_prot.sav with 100% similarity]
tests/sav/base_prot2.res [moved from tests/sav/base_prot2.sav with 100% similarity]
tests/sav/base_prot3.res [moved from tests/sav/base_prot3.sav with 100% similarity]
tests/sav/base_range.res [moved from tests/sav/base_range.sav with 100% similarity]
tests/sav/base_recurcivity.res [moved from tests/sav/base_recurcivity.sav with 100% similarity]
tests/sav/base_ret_covar_int_alt1.res
tests/sav/base_ret_covar_int_alt1.sav [deleted file]
tests/sav/base_return_assign.res [moved from tests/sav/base_no_object_alt1.sav with 100% similarity]
tests/sav/base_return_assign_alt1.res [moved from tests/sav/base_return_assign_alt1.sav with 100% similarity]
tests/sav/base_return_assign_alt2.res [moved from tests/sav/base_return_assign_alt2.sav with 100% similarity]
tests/sav/base_return_assign_alt3.res [moved from tests/sav/base_return_assign_alt3.sav with 100% similarity]
tests/sav/base_sig_inh.res [moved from tests/sav/base_sig_inh.sav with 100% similarity]
tests/sav/base_simple.res [moved from tests/sav/base_simple.sav with 100% similarity]
tests/sav/base_simple2.res [moved from tests/sav/base_simple2.sav with 100% similarity]
tests/sav/base_simple3.res [moved from tests/sav/base_simple3.sav with 100% similarity]
tests/sav/base_stdout.res [moved from tests/sav/base_stdout.sav with 100% similarity]
tests/sav/base_string.res [moved from tests/sav/base_string.sav with 100% similarity]
tests/sav/base_super_linext_raf.res
tests/sav/base_test_variadic.res [moved from tests/sav/base_test_variadic.sav with 100% similarity]
tests/sav/base_types_formal_and_virtual.res [moved from tests/sav/base_nullable.sav with 100% similarity]
tests/sav/base_types_formal_and_virtual3.res [moved from tests/sav/base_test_obj_id.sav with 100% similarity]
tests/sav/base_types_formal_and_virtual4.res [moved from tests/sav/base_types_formal_and_virtual.sav with 100% similarity]
tests/sav/base_types_nullable.res [moved from tests/sav/base_types_formal_and_virtual3.sav with 100% similarity]
tests/sav/base_types_nullable_formal_and_virtual.res [moved from tests/sav/base_types_formal_and_virtual4.sav with 100% similarity]
tests/sav/base_upcast.res [moved from tests/sav/base_types_nullable.sav with 100% similarity]
tests/sav/base_upcast2_1alt1.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt1.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt10.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt2.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt3.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt4.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt5.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt6.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt7.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt8.sav [deleted file]
tests/sav/base_upcast2_1alt1_alt9.sav [deleted file]
tests/sav/base_upcast2_1alt2.res [moved from tests/sav/base_types_nullable_formal_and_virtual.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt1.res [moved from tests/sav/base_upcast2_1alt2_alt1.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt10.res [moved from tests/sav/base_upcast2_1alt2_alt10.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt2.res [moved from tests/sav/base_upcast.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt3.res [moved from tests/sav/base_upcast2_1alt2_alt3.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt4.res [moved from tests/sav/base_upcast2_1alt2_alt4.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt5.res [moved from tests/sav/base_upcast2_1alt2_alt5.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt6.res [moved from tests/sav/base_upcast2_1alt2_alt6.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt7.res [moved from tests/sav/base_upcast2_1alt2.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt8.res [moved from tests/sav/base_upcast2_1alt2_alt8.sav with 100% similarity]
tests/sav/base_upcast2_1alt2_alt9.res [moved from tests/sav/base_upcast2_1alt2_alt9.sav with 100% similarity]
tests/sav/base_upcast2_1alt3.res [moved from tests/sav/base_upcast2_1alt2_alt2.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt1.res [moved from tests/sav/base_upcast2_1alt3_alt1.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt10.res [moved from tests/sav/base_upcast2_1alt3_alt10.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt2.res [moved from tests/sav/base_upcast2_1alt3_alt2.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt3.res [moved from tests/sav/base_upcast2_1alt2_alt7.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt4.res [moved from tests/sav/base_upcast2_1alt3_alt4.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt5.res [moved from tests/sav/base_upcast2_1alt3_alt5.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt6.res [moved from tests/sav/base_upcast2_1alt3.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt7.res [moved from tests/sav/base_upcast2_1alt3_alt7.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt8.res [moved from tests/sav/base_upcast2_1alt3_alt3.sav with 100% similarity]
tests/sav/base_upcast2_1alt3_alt9.res [moved from tests/sav/base_upcast2_1alt3_alt9.sav with 100% similarity]
tests/sav/base_upcast2_1alt4.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt1.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt10.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt2.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt3.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt4.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt5.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt6.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt7.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt8.sav [deleted file]
tests/sav/base_upcast2_1alt4_alt9.sav [deleted file]
tests/sav/base_upcast2_1alt5.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt1.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt10.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt2.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt3.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt4.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt5.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt6.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt7.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt8.sav [deleted file]
tests/sav/base_upcast2_1alt5_alt9.sav [deleted file]
tests/sav/base_upcast_alt1.res [moved from tests/sav/base_upcast_alt1.sav with 100% similarity]
tests/sav/base_var.res [moved from tests/sav/base_var.sav with 100% similarity]
tests/sav/base_var2.res [moved from tests/sav/base_var2.sav with 100% similarity]
tests/sav/base_var2_alt7.res [moved from tests/sav/base_var2_alt7.sav with 100% similarity]
tests/sav/base_var2_alt8.res [moved from tests/sav/base_var2_alt8.sav with 100% similarity]
tests/sav/base_var_alt1.res [moved from tests/sav/base_var_alt1.sav with 100% similarity]
tests/sav/base_var_alt2.res [moved from tests/sav/base_var_alt2.sav with 100% similarity]
tests/sav/base_var_alt3.res [moved from tests/sav/base_var_alt3.sav with 100% similarity]
tests/sav/base_var_alt4.res [moved from tests/sav/base_var_alt4.sav with 100% similarity]
tests/sav/base_var_alt5.res [moved from tests/sav/base_var_alt5.sav with 100% similarity]
tests/sav/base_var_alt6.res [moved from tests/sav/base_var_alt6.sav with 100% similarity]
tests/sav/base_var_alt7.res [moved from tests/sav/base_var_alt7.sav with 100% similarity]
tests/sav/base_var_alt8.res [moved from tests/sav/base_var_alt8.sav with 100% similarity]
tests/sav/base_var_assignment_flow.res [moved from tests/sav/base_var_assignment_flow.sav with 100% similarity]
tests/sav/base_var_assignment_flow_alt1.res [moved from tests/sav/base_var_assignment_flow_alt1.sav with 100% similarity]
tests/sav/base_var_assignment_flow_alt4.res [moved from tests/sav/base_var_assignment_flow_alt4.sav with 100% similarity]
tests/sav/base_var_assignment_flow_alt5.res [moved from tests/sav/base_var_assignment_flow_alt5.sav with 100% similarity]
tests/sav/base_var_assignment_flow_alt6.res [moved from tests/sav/base_var_assignment_flow_alt6.sav with 100% similarity]
tests/sav/base_var_closure.res [moved from tests/sav/base_var_closure.sav with 100% similarity]
tests/sav/base_var_closure_alt1.res [moved from tests/sav/base_var_closure_alt1.sav with 100% similarity]
tests/sav/base_var_closure_alt2.res [moved from tests/sav/base_var_closure_alt2.sav with 100% similarity]
tests/sav/base_var_closure_alt3.res [moved from tests/sav/base_var_closure_alt3.sav with 100% similarity]
tests/sav/base_var_closure_alt4.res [moved from tests/sav/base_var_closure_alt4.sav with 100% similarity]
tests/sav/base_var_closure_alt5.res [moved from tests/sav/base_var_closure_alt5.sav with 100% similarity]
tests/sav/base_var_closure_alt6.res [moved from tests/sav/base_var_closure_alt6.sav with 100% similarity]
tests/sav/base_var_closure_alt7.res [moved from tests/sav/base_var_closure_alt7.sav with 100% similarity]
tests/sav/base_var_closure_alt8.res [moved from tests/sav/base_var_closure_alt8.sav with 100% similarity]
tests/sav/base_var_null.res [moved from tests/sav/base_var_null.sav with 100% similarity]
tests/sav/base_var_null_alt1.res [moved from tests/sav/base_var_null_alt1.sav with 100% similarity]
tests/sav/base_var_null_alt10.res [moved from tests/sav/base_var_null_alt10.sav with 100% similarity]
tests/sav/base_var_null_alt11.res [moved from tests/sav/base_var_null_alt11.sav with 100% similarity]
tests/sav/base_var_null_alt12.res [moved from tests/sav/base_var_null_alt12.sav with 100% similarity]
tests/sav/base_var_null_alt2.res [moved from tests/sav/base_var_null_alt2.sav with 100% similarity]
tests/sav/base_var_null_alt3.res [moved from tests/sav/base_var_null_alt3.sav with 100% similarity]
tests/sav/base_var_null_alt4.res [moved from tests/sav/base_var_null_alt4.sav with 100% similarity]
tests/sav/base_var_null_alt5.res [moved from tests/sav/base_var_null_alt5.sav with 100% similarity]
tests/sav/base_var_null_alt6.res [moved from tests/sav/base_var_null_alt6.sav with 100% similarity]
tests/sav/base_var_null_alt7.res [moved from tests/sav/base_var_null_alt7.sav with 100% similarity]
tests/sav/base_var_null_alt8.res [moved from tests/sav/base_var_null_alt8.sav with 100% similarity]
tests/sav/base_var_null_alt9.res [moved from tests/sav/base_var_null_alt9.sav with 100% similarity]
tests/sav/base_var_type_evolution.res [moved from tests/sav/base_var_type_evolution.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt1.res [moved from tests/sav/base_var_type_evolution_alt1.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt2.res [moved from tests/sav/base_var_type_evolution_alt2.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt3.res [moved from tests/sav/base_var_type_evolution_alt3.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt4.res [moved from tests/sav/base_var_type_evolution_alt4.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt5.res [moved from tests/sav/base_var_type_evolution_alt5.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt6.res [moved from tests/sav/base_var_type_evolution_alt6.sav with 100% similarity]
tests/sav/base_var_type_evolution_alt7.res [moved from tests/sav/base_var_type_evolution_alt7.sav with 100% similarity]
tests/sav/base_var_type_evolution_null.res [moved from tests/sav/base_var_type_evolution_null.sav with 100% similarity]
tests/sav/base_var_type_evolution_null2.res [moved from tests/sav/base_var_type_evolution_null2.sav with 100% similarity]
tests/sav/base_var_type_evolution_null2_alt1.res [moved from tests/sav/base_var_type_evolution_null2_alt1.sav with 100% similarity]
tests/sav/base_var_type_evolution_null2_alt2.res [moved from tests/sav/base_var_type_evolution_null2_alt2.sav with 100% similarity]
tests/sav/base_var_type_evolution_null4.res [moved from tests/sav/base_var_type_evolution_null4.sav with 100% similarity]
tests/sav/base_var_type_evolution_null4_alt1.res [moved from tests/sav/base_var_type_evolution_null4_alt1.sav with 100% similarity]
tests/sav/base_var_type_evolution_null4_alt2.res [moved from tests/sav/base_var_type_evolution_null4_alt2.sav with 100% similarity]
tests/sav/base_var_type_evolution_null4_alt3.res [moved from tests/sav/base_var_type_evolution_null4_alt3.sav with 100% similarity]
tests/sav/base_var_type_evolution_null4_alt4.res [moved from tests/sav/base_var_type_evolution_null4_alt4.sav with 100% similarity]
tests/sav/base_var_type_evolution_null5.res [moved from tests/sav/base_var_type_evolution_null5.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt1.res [moved from tests/sav/base_var_type_evolution_null_alt1.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt2.res [moved from tests/sav/base_var_type_evolution_null_alt2.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt3.res [moved from tests/sav/base_var_type_evolution_null_alt3.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt4.res [moved from tests/sav/base_var_type_evolution_null_alt4.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt5.res [moved from tests/sav/base_var_type_evolution_null_alt5.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt6.res [moved from tests/sav/base_var_type_evolution_null_alt6.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_alt7.res [moved from tests/sav/base_var_type_evolution_null_alt7.sav with 100% similarity]
tests/sav/base_var_type_evolution_null_while.res [moved from tests/sav/base_var_type_evolution_null_while.sav with 100% similarity]
tests/sav/base_var_untyped.res [moved from tests/sav/base_var_untyped.sav with 100% similarity]
tests/sav/base_var_untyped_alt1.res [moved from tests/sav/base_var_untyped_alt1.sav with 100% similarity]
tests/sav/base_var_untyped_alt2.res [moved from tests/sav/base_var_untyped_alt2.sav with 100% similarity]
tests/sav/base_var_untyped_alt3.res [moved from tests/sav/base_var_untyped_alt3.sav with 100% similarity]
tests/sav/base_var_untyped_alt4.res [moved from tests/sav/base_var_untyped_alt4.sav with 100% similarity]
tests/sav/base_var_untyped_alt5.res [moved from tests/sav/base_var_untyped_alt5.sav with 100% similarity]
tests/sav/base_var_untyped_alt7.res [moved from tests/sav/base_var_untyped_alt7.sav with 100% similarity]
tests/sav/base_var_untyped_alt8.res [moved from tests/sav/base_var_untyped_alt8.sav with 100% similarity]
tests/sav/base_vararg.res [moved from tests/sav/base_vararg.sav with 100% similarity]
tests/sav/base_virtual_type.res [moved from tests/sav/base_virtual_type.sav with 100% similarity]
tests/sav/base_virtual_type2.res [moved from tests/sav/base_no_object.sav with 100% similarity]
tests/sav/base_virtual_type2_alt1.res [moved from tests/sav/base_virtual_type2_alt1.sav with 100% similarity]
tests/sav/base_virtual_type3.res [moved from tests/sav/base_virtual_type2.sav with 100% similarity]
tests/sav/base_virtual_type3_alt1.res [moved from tests/sav/base_virtual_type3_alt1.sav with 100% similarity]
tests/sav/base_virtual_type4.res [moved from tests/sav/base_virtual_type3.sav with 100% similarity]
tests/sav/base_virtual_type4_alt1.res [moved from tests/sav/base_virtual_type4_alt1.sav with 100% similarity]
tests/sav/base_virtual_type5.res [moved from tests/sav/base_virtual_type4.sav with 100% similarity]
tests/sav/base_virtual_type5_alt1.res [moved from tests/sav/base_virtual_type5_alt1.sav with 100% similarity]
tests/sav/base_virtual_type5_alt2.res [moved from tests/sav/base_virtual_type5_alt2.sav with 100% similarity]
tests/sav/base_virtual_type6.res [moved from tests/sav/base_upcast2_1alt3_alt6.sav with 100% similarity]
tests/sav/base_virtual_type_alt1.res [moved from tests/sav/base_virtual_type_alt1.sav with 100% similarity]
tests/sav/base_virtual_type_alt2.res [moved from tests/sav/base_virtual_type_alt2.sav with 100% similarity]
tests/sav/base_virtual_type_alt3.res [moved from tests/sav/base_virtual_type_alt3.sav with 100% similarity]
tests/sav/base_virtual_type_check.res [moved from tests/sav/base_virtual_type_check.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt1.res [moved from tests/sav/base_virtual_type_check_alt1.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt2.res [moved from tests/sav/base_virtual_type_check_alt2.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt3.res [moved from tests/sav/base_virtual_type_check_alt3.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt4.res [moved from tests/sav/base_virtual_type_check_alt4.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt5.res [moved from tests/sav/base_virtual_type_check_alt5.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt6.res [moved from tests/sav/base_virtual_type_check_alt6.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt7.res [moved from tests/sav/base_virtual_type_check_alt7.sav with 100% similarity]
tests/sav/base_virtual_type_check_alt9.res [moved from tests/sav/base_virtual_type_check_alt9.sav with 100% similarity]
tests/sav/base_virtual_type_self.res [moved from tests/sav/base_virtual_type_self.fail with 100% similarity]
tests/sav/bench_421.res [moved from tests/sav/bench_421.sav with 100% similarity]
tests/sav/bench_complex_sort.res [moved from tests/sav/base_upcast2_1alt3_alt8.sav with 100% similarity]
tests/sav/bench_fib.res [moved from tests/sav/bench_fib.sav with 100% similarity]
tests/sav/bench_int_range_closure.res [moved from tests/sav/bench_int_range_closure.sav with 100% similarity]
tests/sav/bench_int_range_iterator.res [moved from tests/sav/bench_int_range_iterator.sav with 100% similarity]
tests/sav/bench_netsim.res [moved from tests/sav/bench_netsim.sav with 100% similarity]
tests/sav/bench_nsieve_bool.res [moved from tests/sav/bench_nsieve_bool.sav with 100% similarity]
tests/sav/bench_prime.res [moved from tests/sav/bench_prime.sav with 100% similarity]
tests/sav/bench_random_n_sort.res [moved from tests/sav/bench_random_n_sort.sav with 100% similarity]
tests/sav/bench_send.res [moved from tests/sav/base_virtual_type6.sav with 100% similarity]
tests/sav/bench_send2.res [moved from tests/sav/bench_complex_sort.sav with 100% similarity]
tests/sav/bench_string_append.res [moved from tests/sav/bench_string_append.sav with 100% similarity]
tests/sav/bench_string_super.res [moved from tests/sav/bench_string_super.sav with 100% similarity]
tests/sav/bench_string_tos.res [moved from tests/sav/bench_string_tos.sav with 100% similarity]
tests/sav/bench_svn105_papillon.log.res [moved from tests/sav/bench_svn105_papillon.log.sav with 100% similarity]
tests/sav/bench_svn107_bird.log.res [moved from tests/sav/bench_svn107_bird.log.sav with 100% similarity]
tests/sav/bench_svn219_bird.log.res [moved from tests/sav/bench_svn219_bird.log.sav with 100% similarity]
tests/sav/bench_tak.res [moved from tests/sav/bench_tak.sav with 100% similarity]
tests/sav/calculator.res [moved from tests/sav/bench_send.sav with 100% similarity]
tests/sav/callback_chimpanze.res [moved from tests/sav/callback_chimpanze.sav with 100% similarity]
tests/sav/callback_monkey.res [moved from tests/sav/bench_send2.sav with 100% similarity]
tests/sav/circular_list.res [moved from tests/sav/circular_list.sav with 100% similarity]
tests/sav/clock.res [moved from tests/sav/clock.sav with 100% similarity]
tests/sav/clock_more.res [moved from tests/sav/clock_more.sav with 100% similarity]
tests/sav/curl_http.res [moved from tests/sav/curl_http.sav with 100% similarity]
tests/sav/curl_http_args1.res [moved from tests/sav/curl_http_args1.sav with 100% similarity]
tests/sav/curl_http_args2.res [moved from tests/sav/curl_http_args2.sav with 100% similarity]
tests/sav/curl_http_args3.res [moved from tests/sav/curl_http_args3.sav with 100% similarity]
tests/sav/curl_mail.res [moved from tests/sav/curl_mail.sav with 100% similarity]
tests/sav/draw_operation.res [moved from tests/sav/draw_operation.sav with 100% similarity]
tests/sav/drop_privileges.res [moved from tests/sav/drop_privileges.sav with 100% similarity]
tests/sav/dummy_array.res [moved from tests/sav/calculator.sav with 100% similarity]
tests/sav/error_attr_2def.res [moved from tests/sav/error_attr_2def.sav with 100% similarity]
tests/sav/error_attr_assign.res [moved from tests/sav/error_attr_assign.sav with 100% similarity]
tests/sav/error_attr_unk.res [moved from tests/sav/error_attr_unk.sav with 100% similarity]
tests/sav/error_class_generic.res [moved from tests/sav/error_class_generic.sav with 100% similarity]
tests/sav/error_class_generic_alt1.sav [deleted file]
tests/sav/error_class_generic_alt3.sav [deleted file]
tests/sav/error_class_generic_alt4.sav [deleted file]
tests/sav/error_class_generic_alt5.sav [deleted file]
tests/sav/error_class_generic_alt6.sav [deleted file]
tests/sav/error_cons_arity.res [moved from tests/sav/error_cons_arity.sav with 100% similarity]
tests/sav/error_cons_arity2.res [moved from tests/sav/error_cons_arity2.sav with 100% similarity]
tests/sav/error_constraint.res [moved from tests/sav/error_constraint.sav with 100% similarity]
tests/sav/error_decl_type_var.res [moved from tests/sav/error_decl_type_var.sav with 100% similarity]
tests/sav/error_defs.res [moved from tests/sav/error_defs.sav with 100% similarity]
tests/sav/error_defs_alt1.sav [deleted file]
tests/sav/error_defs_alt2.res [moved from tests/sav/error_defs_alt2.sav with 100% similarity]
tests/sav/error_defs_alt3.res [moved from tests/sav/error_defs_alt3.sav with 100% similarity]
tests/sav/error_defs_alt4.res
tests/sav/error_defs_alt4.sav [deleted file]
tests/sav/error_defs_alt6.res [moved from tests/sav/error_defs_alt6.sav with 100% similarity]
tests/sav/error_defs_alt7.res [moved from tests/sav/error_defs_alt7.sav with 100% similarity]
tests/sav/error_defs_alt8.res [moved from tests/sav/error_defs_alt8.sav with 100% similarity]
tests/sav/error_expr_not_ok_alt1.res [moved from tests/sav/error_expr_not_ok_alt1.sav with 100% similarity]
tests/sav/error_file_access.res [moved from tests/sav/error_file_access.sav with 100% similarity]
tests/sav/error_formal.res [moved from tests/sav/error_formal.sav with 100% similarity]
tests/sav/error_fun_ret.res [moved from tests/sav/error_fun_ret.sav with 100% similarity]
tests/sav/error_fun_ret2.res [moved from tests/sav/error_fun_ret2.sav with 100% similarity]
tests/sav/error_fun_ret3.res [moved from tests/sav/error_fun_ret3.sav with 100% similarity]
tests/sav/error_fun_ret4.res [moved from tests/sav/error_fun_ret4.sav with 100% similarity]
tests/sav/error_fun_ret5.res [moved from tests/sav/error_fun_ret5.sav with 100% similarity]
tests/sav/error_if_bool.res [moved from tests/sav/error_if_bool.sav with 100% similarity]
tests/sav/error_init_auto_alt4.res [moved from tests/sav/error_init_auto_alt4.sav with 100% similarity]
tests/sav/error_intern.res [moved from tests/sav/error_intern.sav with 100% similarity]
tests/sav/error_kern_attr_any.res [moved from tests/sav/error_kern_attr_any.sav with 100% similarity]
tests/sav/error_left_bool.res [moved from tests/sav/error_left_bool.sav with 100% similarity]
tests/sav/error_loop_bool_until.res [moved from tests/sav/error_loop_bool_until.sav with 100% similarity]
tests/sav/error_loop_bool_while.res [moved from tests/sav/error_loop_bool_while.sav with 100% similarity]
tests/sav/error_meth_2def.res [moved from tests/sav/error_meth_2def.sav with 100% similarity]
tests/sav/error_meth_2def2.res [moved from tests/sav/error_meth_2def2.sav with 100% similarity]
tests/sav/error_meth_create.res [moved from tests/sav/error_meth_create.sav with 100% similarity]
tests/sav/error_meth_unk1.res [moved from tests/sav/error_meth_unk1.sav with 100% similarity]
tests/sav/error_meth_unk2.res [moved from tests/sav/error_meth_unk2.sav with 100% similarity]
tests/sav/error_needed_method.res [moved from tests/sav/callback_monkey.sav with 100% similarity]
tests/sav/error_needed_method_alt5.res [moved from tests/sav/dummy_array.sav with 100% similarity]
tests/sav/error_needed_types.res [moved from tests/sav/error_needed_method.sav with 100% similarity]
tests/sav/error_needed_types_alt9.res [moved from tests/sav/error_needed_method_alt5.sav with 100% similarity]
tests/sav/error_parser_oneline_bad_char.res [moved from tests/sav/error_parser_oneline_bad_char.sav with 100% similarity]
tests/sav/error_parser_oneline_bad_char_empty.res [moved from tests/sav/error_parser_oneline_bad_char_empty.sav with 100% similarity]
tests/sav/error_parser_oneline_bad_char_full.res [moved from tests/sav/error_parser_oneline_bad_char_full.sav with 100% similarity]
tests/sav/error_parser_oneline_bad_char_noeol.res [moved from tests/sav/error_parser_oneline_bad_char_noeol.sav with 100% similarity]
tests/sav/error_parser_oneline_bad_string.res [moved from tests/sav/error_parser_oneline_bad_string.sav with 100% similarity]
tests/sav/error_parser_oneline_bad_string_noeol.res [moved from tests/sav/error_parser_oneline_bad_string_noeol.sav with 100% similarity]
tests/sav/error_parser_oneline_char.res [moved from tests/sav/error_parser_oneline_char.sav with 100% similarity]
tests/sav/error_parser_oneline_char_noeol.res [moved from tests/sav/error_parser_oneline_char_noeol.sav with 100% similarity]
tests/sav/error_parser_oneline_comment.res [moved from tests/sav/error_needed_types.sav with 100% similarity]
tests/sav/error_parser_oneline_comment_noeol.res [moved from tests/sav/error_needed_types_alt5.sav with 100% similarity]
tests/sav/error_parser_oneline_string.res [moved from tests/sav/error_parser_oneline_string.sav with 100% similarity]
tests/sav/error_parser_oneline_string_noeol.res [moved from tests/sav/error_parser_oneline_string_noeol.sav with 100% similarity]
tests/sav/error_parser_oneline_string_start.res [moved from tests/sav/error_parser_oneline_string_start.sav with 100% similarity]
tests/sav/error_parser_oneline_string_start_noeol.res [moved from tests/sav/error_parser_oneline_string_start_noeol.sav with 100% similarity]
tests/sav/error_prop_loc.res [moved from tests/sav/error_prop_loc.sav with 100% similarity]
tests/sav/error_redef.res [moved from tests/sav/error_needed_types_alt9.sav with 100% similarity]
tests/sav/error_redef2.res [moved from tests/sav/error_parser_oneline_comment.sav with 100% similarity]
tests/sav/error_redef2_1alt1.res [moved from tests/sav/error_parser_oneline_comment_noeol.sav with 100% similarity]
tests/sav/error_redef2_1alt1_alt1.res [moved from tests/sav/error_redef2_1alt1_alt1.sav with 100% similarity]
tests/sav/error_redef2_1alt1_alt2.res
tests/sav/error_redef2_1alt1_alt2.sav [deleted file]
tests/sav/error_redef2_1alt1_alt3.res
tests/sav/error_redef2_1alt1_alt3.sav [deleted file]
tests/sav/error_redef2_1alt1_alt4.res [moved from tests/sav/error_redef2_1alt1_alt4.sav with 100% similarity]
tests/sav/error_redef2_1alt1_alt5.res
tests/sav/error_redef2_1alt1_alt5.sav [deleted file]
tests/sav/error_redef2_1alt1_alt6.res
tests/sav/error_redef2_1alt1_alt6.sav [deleted file]
tests/sav/error_redef2_1alt1_alt7.res
tests/sav/error_redef2_1alt1_alt7.sav [deleted file]
tests/sav/error_redef2_1alt1_alt8.res
tests/sav/error_redef2_1alt1_alt8.sav [deleted file]
tests/sav/error_redef2_1alt2.res [moved from tests/sav/error_prop_glob.fail with 100% similarity]
tests/sav/error_redef2_1alt2_alt1.res
tests/sav/error_redef2_1alt2_alt1.sav [deleted file]
tests/sav/error_redef2_1alt2_alt2.res [moved from tests/sav/error_redef2_1alt2_alt2.sav with 100% similarity]
tests/sav/error_redef2_1alt2_alt3.res [moved from tests/sav/error_redef2_1alt2_alt3.sav with 100% similarity]
tests/sav/error_redef2_1alt2_alt4.res
tests/sav/error_redef2_1alt2_alt4.sav [deleted file]
tests/sav/error_redef2_1alt2_alt5.res [moved from tests/sav/error_redef2_1alt2_alt5.sav with 100% similarity]
tests/sav/error_redef2_1alt2_alt6.res [moved from tests/sav/error_redef2_1alt2_alt6.sav with 100% similarity]
tests/sav/error_redef2_1alt2_alt7.res
tests/sav/error_redef2_1alt2_alt7.sav [deleted file]
tests/sav/error_redef2_1alt2_alt8.res
tests/sav/error_redef2_1alt2_alt8.sav [deleted file]
tests/sav/error_redef2_1alt3.res [moved from tests/sav/error_redef.sav with 100% similarity]
tests/sav/error_redef2_1alt3_alt1.res [moved from tests/sav/error_redef2_1alt3_alt1.sav with 100% similarity]
tests/sav/error_redef2_1alt3_alt2.res
tests/sav/error_redef2_1alt3_alt2.sav [deleted file]
tests/sav/error_redef2_1alt3_alt3.res
tests/sav/error_redef2_1alt3_alt3.sav [deleted file]
tests/sav/error_redef2_1alt3_alt4.res [moved from tests/sav/error_redef2_1alt3_alt4.sav with 100% similarity]
tests/sav/error_redef2_1alt3_alt5.res
tests/sav/error_redef2_1alt3_alt5.sav [deleted file]
tests/sav/error_redef2_1alt3_alt6.res
tests/sav/error_redef2_1alt3_alt6.sav [deleted file]
tests/sav/error_redef2_1alt3_alt7.res [moved from tests/sav/error_redef2_1alt3_alt7.sav with 100% similarity]
tests/sav/error_redef2_1alt3_alt8.res
tests/sav/error_redef2_1alt3_alt8.sav [deleted file]
tests/sav/error_redef2_1alt4.res [moved from tests/sav/error_redef2.sav with 100% similarity]
tests/sav/error_redef2_1alt4_alt1.res
tests/sav/error_redef2_1alt4_alt1.sav [deleted file]
tests/sav/error_redef2_1alt4_alt2.res [moved from tests/sav/error_redef2_1alt4_alt2.sav with 100% similarity]
tests/sav/error_redef2_1alt4_alt3.res [moved from tests/sav/error_redef2_1alt4_alt3.sav with 100% similarity]
tests/sav/error_redef2_1alt4_alt4.res
tests/sav/error_redef2_1alt4_alt4.sav [deleted file]
tests/sav/error_redef2_1alt4_alt5.res [moved from tests/sav/error_redef2_1alt4_alt5.sav with 100% similarity]
tests/sav/error_redef2_1alt4_alt6.res [moved from tests/sav/error_redef2_1alt4_alt6.sav with 100% similarity]
tests/sav/error_redef2_1alt4_alt7.res
tests/sav/error_redef2_1alt4_alt7.sav [deleted file]
tests/sav/error_redef2_1alt4_alt8.res [moved from tests/sav/error_redef2_1alt4_alt8.sav with 100% similarity]
tests/sav/error_redef2_alt1.res [moved from tests/sav/error_redef2_1alt1.sav with 100% similarity]
tests/sav/error_redef2_alt2.res [moved from tests/sav/error_redef2_1alt2.sav with 100% similarity]
tests/sav/error_redef2_alt4.res [moved from tests/sav/error_redef2_alt4.sav with 100% similarity]
tests/sav/error_redef2_alt5.res [moved from tests/sav/error_redef2_alt5.sav with 100% similarity]
tests/sav/error_redef2_alt7.res [moved from tests/sav/error_redef2_1alt3.sav with 100% similarity]
tests/sav/error_redef2_alt8.res [moved from tests/sav/error_redef2_1alt4.sav with 100% similarity]
tests/sav/error_redef3.res [moved from tests/sav/error_redef3.sav with 100% similarity]
tests/sav/error_redef4.res [moved from tests/sav/error_redef4.sav with 100% similarity]
tests/sav/error_redef_1alt1.res [moved from tests/sav/error_redef2_alt1.sav with 100% similarity]
tests/sav/error_redef_1alt1_alt1.res [moved from tests/sav/error_redef2_alt2.sav with 100% similarity]
tests/sav/error_redef_1alt1_alt4.res [moved from tests/sav/error_redef_1alt1_alt4.sav with 100% similarity]
tests/sav/error_redef_1alt2.res [moved from tests/sav/error_redef2_alt7.sav with 100% similarity]
tests/sav/error_redef_1alt2_alt2.res [moved from tests/sav/error_redef2_alt8.sav with 100% similarity]
tests/sav/error_redef_1alt2_alt3.res [moved from tests/sav/error_redef_1alt1.sav with 100% similarity]
tests/sav/error_redef_1alt2_alt5.res [moved from tests/sav/error_redef_1alt2_alt5.sav with 100% similarity]
tests/sav/error_redef_1alt2_alt6.res [moved from tests/sav/error_redef_1alt2_alt6.sav with 100% similarity]
tests/sav/error_redef_1alt3.res [moved from tests/sav/error_redef_1alt1_alt1.sav with 100% similarity]
tests/sav/error_redef_1alt3_alt1.res [moved from tests/sav/error_redef_1alt3_alt1.sav with 100% similarity]
tests/sav/error_redef_1alt3_alt4.res [moved from tests/sav/error_redef_1alt2.sav with 100% similarity]
tests/sav/error_redef_1alt3_alt7.res [moved from tests/sav/error_redef_1alt2_alt2.sav with 100% similarity]
tests/sav/error_redef_1alt4.res [moved from tests/sav/error_redef_1alt2_alt3.sav with 100% similarity]
tests/sav/error_redef_1alt4_alt3.res [moved from tests/sav/error_redef_1alt4_alt3.sav with 100% similarity]
tests/sav/error_redef_1alt4_alt5.res [moved from tests/sav/error_redef_1alt4_alt5.sav with 100% similarity]
tests/sav/error_redef_1alt4_alt6.res [moved from tests/sav/error_redef_1alt3.sav with 100% similarity]
tests/sav/error_redef_1alt4_alt8.res [moved from tests/sav/error_redef_1alt3_alt4.sav with 100% similarity]
tests/sav/error_redef_1alt4_alt9.res [moved from tests/sav/error_redef_1alt4_alt9.sav with 100% similarity]
tests/sav/error_redef_alt1.res [moved from tests/sav/error_redef_alt1.sav with 100% similarity]
tests/sav/error_redef_alt2.res [moved from tests/sav/error_redef_alt2.sav with 100% similarity]
tests/sav/error_redef_alt4.res [moved from tests/sav/error_redef_alt4.sav with 100% similarity]
tests/sav/error_redef_alt5.res [moved from tests/sav/error_redef_alt5.sav with 100% similarity]
tests/sav/error_redef_alt7.res [moved from tests/sav/error_redef_alt7.sav with 100% similarity]
tests/sav/error_redef_alt8.res [moved from tests/sav/error_redef_alt8.sav with 100% similarity]
tests/sav/error_ref_fun.res [moved from tests/sav/error_ref_fun.sav with 100% similarity]
tests/sav/error_ref_param.res [moved from tests/sav/error_ref_param.sav with 100% similarity]
tests/sav/error_req_loop1.res [moved from tests/sav/error_req_loop1.sav with 100% similarity]
tests/sav/error_req_loop2.res [moved from tests/sav/error_req_loop2.sav with 100% similarity]
tests/sav/error_ret_fun.res [moved from tests/sav/error_ret_fun.sav with 100% similarity]
tests/sav/error_ret_proc.res [moved from tests/sav/error_ret_proc.sav with 100% similarity]
tests/sav/error_ret_type.res [moved from tests/sav/error_ret_type.sav with 100% similarity]
tests/sav/error_right_bool.res [moved from tests/sav/error_right_bool.sav with 100% similarity]
tests/sav/error_signature.res [moved from tests/sav/error_signature.sav with 100% similarity]
tests/sav/error_spe_fun.res [moved from tests/sav/error_spe_fun.sav with 100% similarity]
tests/sav/error_spe_param.res [moved from tests/sav/error_spe_param.sav with 100% similarity]
tests/sav/error_star_type.res [moved from tests/sav/error_star_type.sav with 100% similarity]
tests/sav/error_super_none.res [moved from tests/sav/error_super_none.sav with 100% similarity]
tests/sav/error_syntax.res [moved from tests/sav/error_syntax.sav with 100% similarity]
tests/sav/error_syntax_alt1.res [moved from tests/sav/error_syntax_alt1.sav with 100% similarity]
tests/sav/error_type_not_ok.res [moved from tests/sav/error_type_not_ok.sav with 100% similarity]
tests/sav/error_type_not_ok2.res [moved from tests/sav/error_type_not_ok2.sav with 100% similarity]
tests/sav/error_type_not_ok2_alt1.res [moved from tests/sav/error_type_not_ok2_alt1.sav with 100% similarity]
tests/sav/error_type_not_ok3.res [moved from tests/sav/error_type_not_ok3.sav with 100% similarity]
tests/sav/error_type_not_ok3_alt1.res [moved from tests/sav/error_type_not_ok3_alt1.sav with 100% similarity]
tests/sav/error_type_not_ok4.res [moved from tests/sav/error_type_not_ok4.sav with 100% similarity]
tests/sav/error_type_not_ok4_alt1.res [moved from tests/sav/error_type_not_ok4_alt1.sav with 100% similarity]
tests/sav/error_type_not_ok_alt1.res [moved from tests/sav/error_type_not_ok_alt1.sav with 100% similarity]
tests/sav/error_type_unk_alt1.res [moved from tests/sav/error_type_unk_alt1.sav with 100% similarity]
tests/sav/error_type_unk_alt3.res [moved from tests/sav/error_type_unk_alt3.sav with 100% similarity]
tests/sav/error_type_unk_alt4.res [moved from tests/sav/error_type_unk_alt4.sav with 100% similarity]
tests/sav/error_type_unk_alt5.res [moved from tests/sav/error_type_unk_alt5.sav with 100% similarity]
tests/sav/error_unk_class.res [moved from tests/sav/error_unk_class.sav with 100% similarity]
tests/sav/error_var_args.res [moved from tests/sav/error_var_args.sav with 100% similarity]
tests/sav/error_var_args2.res [moved from tests/sav/error_var_args2.sav with 100% similarity]
tests/sav/error_var_args3.res [moved from tests/sav/error_var_args3.sav with 100% similarity]
tests/sav/error_var_args4.res [moved from tests/sav/error_var_args4.sav with 100% similarity]
tests/sav/error_var_assign.res [moved from tests/sav/error_var_assign.sav with 100% similarity]
tests/sav/example_421.res [moved from tests/sav/example_421.sav with 100% similarity]
tests/sav/example_array_sort.res [moved from tests/sav/example_array_sort.sav with 100% similarity]
tests/sav/example_beer.res [moved from tests/sav/example_beer.sav with 100% similarity]
tests/sav/example_hanoi.res [moved from tests/sav/example_hanoi.sav with 100% similarity]
tests/sav/example_objet.res [moved from tests/sav/example_objet.sav with 100% similarity]
tests/sav/example_point.res [moved from tests/sav/example_point.sav with 100% similarity]
tests/sav/example_power_with_iterate.res [moved from tests/sav/example_power_with_iterate.sav with 100% similarity]
tests/sav/example_procedural_string.res [moved from tests/sav/example_procedural_string.sav with 100% similarity]
tests/sav/example_simple.res [moved from tests/sav/example_simple.sav with 100% similarity]
tests/sav/example_sorter.res [moved from tests/sav/example_sorter.sav with 100% similarity]
tests/sav/example_sorts.res [moved from tests/sav/example_sorts.sav with 100% similarity]
tests/sav/example_string.res [moved from tests/sav/example_string.sav with 100% similarity]
tests/sav/example_time.res [moved from tests/sav/example_time.sav with 100% similarity]
tests/sav/example_variable.res [moved from tests/sav/example_variable.sav with 100% similarity]
tests/sav/example_wc.res [moved from tests/sav/example_wc.sav with 100% similarity]
tests/sav/extern_methods.res [moved from tests/sav/extern_methods.sav with 100% similarity]
tests/sav/fibonacci.res [moved from tests/sav/fibonacci.sav with 100% similarity]
tests/sav/filter_stream.res [moved from tests/sav/error_redef_1alt3_alt7.sav with 100% similarity]
tests/sav/fixme/base_for_formal.res [deleted file]
tests/sav/fixme/base_super_linext.res [deleted file]
tests/sav/fixme/base_super_linext_raf.res [deleted file]
tests/sav/fixme/error_prop_glob.res [moved from tests/sav/error_redef_1alt4.sav with 100% similarity]
tests/sav/fixme/test_paire.res [moved from tests/sav/test_paire.fail with 100% similarity]
tests/sav/fixme/test_refinement.res [deleted file]
tests/sav/fixme/test_super_explicit.res [deleted file]
tests/sav/galerie.res [moved from tests/sav/error_redef_1alt4_alt6.sav with 100% similarity]
tests/sav/gccbug_attribute_access.res [moved from tests/sav/gccbug_attribute_access.sav with 100% similarity]
tests/sav/hello_world.res [moved from tests/sav/hello_world.sav with 100% similarity]
tests/sav/icode_dmr_if.res [moved from tests/sav/icode_dmr_if.sav with 100% similarity]
tests/sav/icode_dmr_if_alt1.res [moved from tests/sav/icode_dmr_if_alt1.sav with 100% similarity]
tests/sav/icode_dmr_inh.res [moved from tests/sav/icode_dmr_inh.sav with 100% similarity]
tests/sav/icode_dmr_inh_alt1.res [moved from tests/sav/icode_dmr_inh_alt1.sav with 100% similarity]
tests/sav/icode_dmr_inh_alt2.res [moved from tests/sav/icode_dmr_inh_alt2.sav with 100% similarity]
tests/sav/icode_dmr_inh_alt3.res [moved from tests/sav/icode_dmr_inh_alt3.sav with 100% similarity]
tests/sav/icode_dmr_simple.res [moved from tests/sav/icode_dmr_simple.sav with 100% similarity]
tests/sav/icode_dmr_simple_alt1.res [moved from tests/sav/icode_dmr_simple_alt1.sav with 100% similarity]
tests/sav/icode_dmr_simple_alt2.res [moved from tests/sav/icode_dmr_simple_alt2.sav with 100% similarity]
tests/sav/icode_dmr_simple_alt3.res [moved from tests/sav/icode_dmr_simple_alt3.sav with 100% similarity]
tests/sav/icode_ireg.res [moved from tests/sav/icode_ireg.sav with 100% similarity]
tests/sav/int_stack.res [moved from tests/sav/int_stack.sav with 100% similarity]
tests/sav/module_0.res [moved from tests/sav/error_redef_1alt4_alt8.sav with 100% similarity]
tests/sav/module_1.res [moved from tests/sav/filter_stream.sav with 100% similarity]
tests/sav/module_simple.res [moved from tests/sav/fixme/error_inh_clash.res with 100% similarity]
tests/sav/nit.res [moved from tests/sav/nit.sav with 100% similarity]
tests/sav/nit_args1.res [moved from tests/sav/nit_args1.sav with 100% similarity]
tests/sav/nitc.res [moved from tests/sav/nitc.sav with 100% similarity]
tests/sav/nitc/base_array_alt1.res [moved from tests/sav/base_array_alt1.sav with 100% similarity]
tests/sav/nitc/base_as_notnull.res [moved from tests/sav/base_as_notnull.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt1.res [moved from tests/sav/base_as_notnull_alt1.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt2.res [moved from tests/sav/base_as_notnull_alt2.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt3.res [moved from tests/sav/base_as_notnull_alt3.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt4.res [moved from tests/sav/base_as_notnull_alt4.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt5.res [moved from tests/sav/base_as_notnull_alt5.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt6.res [moved from tests/sav/base_as_notnull_alt6.sav with 100% similarity]
tests/sav/nitc/base_as_notnull_alt7.res [moved from tests/sav/base_as_notnull_alt7.sav with 100% similarity]
tests/sav/nitc/base_attr3_alt1.res [moved from tests/sav/base_attr3_alt1.sav with 100% similarity]
tests/sav/nitc/base_attr3_alt2.res [moved from tests/sav/base_attr3_alt2.sav with 100% similarity]
tests/sav/nitc/base_attr3_alt3.res [moved from tests/sav/base_attr3_alt3.sav with 100% similarity]
tests/sav/nitc/base_attr3_alt4.res [moved from tests/sav/base_attr3_alt4.sav with 100% similarity]
tests/sav/nitc/base_attr5_alt12.res [moved from tests/sav/base_attr5_alt12.sav with 100% similarity]
tests/sav/nitc/base_attr5_alt14.res [moved from tests/sav/base_attr5_alt14.sav with 100% similarity]
tests/sav/nitc/base_attr5_alt21.res [moved from tests/sav/base_attr5_alt21.sav with 100% similarity]
tests/sav/nitc/base_attr5_alt23.res [moved from tests/sav/base_attr5_alt23.sav with 100% similarity]
tests/sav/nitc/base_attr5_alt5.res [moved from tests/sav/base_attr5_alt5.sav with 100% similarity]
tests/sav/nitc/base_attr7_alt1.res [moved from tests/sav/base_attr7_alt1.sav with 100% similarity]
tests/sav/nitc/base_attr7_alt2.res [moved from tests/sav/base_attr7_alt2.sav with 100% similarity]
tests/sav/nitc/base_attr7_alt3.res [moved from tests/sav/base_attr7_alt3.sav with 100% similarity]
tests/sav/nitc/base_attr_init_val_raf_alt1.res [moved from tests/sav/base_attr_init_val_raf_alt1.sav with 100% similarity]
tests/sav/nitc/base_attr_isset_alt3.res [moved from tests/sav/base_attr_isset_alt3.sav with 100% similarity]
tests/sav/nitc/base_attr_isset_alt4.res [moved from tests/sav/base_attr_isset_alt4.sav with 100% similarity]
tests/sav/nitc/base_attr_nullable_int_alt2.res [moved from tests/sav/base_attr_nullable_int_alt2.sav with 100% similarity]
tests/sav/nitc/base_class_name.res [moved from tests/sav/base_class_name.sav with 100% similarity]
tests/sav/nitc/base_classid.res [moved from tests/sav/base_classid.sav with 100% similarity]
tests/sav/nitc/base_covar_int2_alt1.res [moved from tests/sav/base_covar_int2_alt1.sav with 100% similarity]
tests/sav/nitc/base_covar_int2_alt3.res [moved from tests/sav/base_covar_int2_alt3.sav with 100% similarity]
tests/sav/nitc/base_covar_int2_alt5.res [moved from tests/sav/base_covar_int2_alt5.sav with 100% similarity]
tests/sav/nitc/base_eq_null_notnull.res [moved from tests/sav/base_eq_null_notnull.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt1.res [moved from tests/sav/base_gen_bound_alt1.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt2.res [moved from tests/sav/base_gen_bound_alt2.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt3.res [moved from tests/sav/base_gen_bound_alt3.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt4.res [moved from tests/sav/base_gen_bound_alt4.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt5.res [moved from tests/sav/base_gen_bound_alt5.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt6.res [moved from tests/sav/base_gen_bound_alt6.sav with 100% similarity]
tests/sav/nitc/base_gen_bound_alt7.res [moved from tests/sav/base_gen_bound_alt7.sav with 100% similarity]
tests/sav/nitc/base_gen_f.res [moved from tests/sav/galerie.sav with 100% similarity]
tests/sav/nitc/base_if_expr_alt1.res [moved from tests/sav/base_if_expr_alt1.sav with 100% similarity]
tests/sav/nitc/base_init_simple_alt1.res [moved from tests/sav/base_init_simple_alt1.sav with 100% similarity]
tests/sav/nitc/base_isa1.res [moved from tests/sav/nitg-e/base_isa1.res with 57% similarity]
tests/sav/nitc/base_isa_cast4_alt5.res [moved from tests/sav/base_isa_cast4_alt5.sav with 100% similarity]
tests/sav/nitc/base_isa_nil.res [moved from tests/sav/base_isa_nil.sav with 100% similarity]
tests/sav/nitc/base_isa_vt_gen1.res [moved from tests/sav/base_isa_vt_gen1.sav with 100% similarity]
tests/sav/nitc/base_label_do_alt4.res [moved from tests/sav/base_label_do_alt4.sav with 100% similarity]
tests/sav/nitc/base_label_do_alt6.res [moved from tests/sav/base_label_do_alt6.sav with 100% similarity]
tests/sav/nitc/base_label_for_alt6.res [moved from tests/sav/base_label_for_alt6.sav with 100% similarity]
tests/sav/nitc/base_label_loop_alt6.res [moved from tests/sav/base_label_loop_alt6.sav with 100% similarity]
tests/sav/nitc/base_label_while_alt6.res [moved from tests/sav/base_label_while_alt6.sav with 100% similarity]
tests/sav/nitc/base_ni_alt5.res [moved from tests/sav/base_ni_alt5.sav with 100% similarity]
tests/sav/nitc/base_no_object.res [moved from tests/sav/base_virtual_type5.sav with 100% similarity]
tests/sav/nitc/base_no_object_alt1.res [moved from tests/sav/base_return_assign.sav with 100% similarity]
tests/sav/nitc/base_output_class_name.res [moved from tests/sav/base_output_class_name.sav with 100% similarity]
tests/sav/nitc/base_prot2_alt1.res [moved from tests/sav/base_prot2_alt1.sav with 100% similarity]
tests/sav/nitc/base_prot2_alt2.res [moved from tests/sav/base_prot2_alt2.sav with 100% similarity]
tests/sav/nitc/base_prot2_alt3.res [moved from tests/sav/base_prot2_alt3.sav with 100% similarity]
tests/sav/nitc/base_prot2_alt4.res [moved from tests/sav/base_prot2_alt4.sav with 100% similarity]
tests/sav/nitc/base_prot2_alt5.res [moved from tests/sav/base_prot2_alt5.sav with 100% similarity]
tests/sav/nitc/base_range_alt1.res [moved from tests/sav/base_range_alt1.sav with 100% similarity]
tests/sav/nitc/base_range_alt2.res [moved from tests/sav/base_range_alt2.sav with 100% similarity]
tests/sav/nitc/base_sig_inh_alt1.res [moved from tests/sav/base_sig_inh_alt1.sav with 100% similarity]
tests/sav/nitc/base_super_linext.res [moved from tests/sav/base_super_linext.sav with 100% similarity]
tests/sav/nitc/base_super_linext_raf.res [moved from tests/sav/base_super_linext_raf.sav with 100% similarity]
tests/sav/nitc/base_upcast2.res [moved from tests/sav/base_upcast2.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt1.res [moved from tests/sav/base_upcast2_alt1.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt10.res [moved from tests/sav/base_upcast2_alt10.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt2.res [moved from tests/sav/base_upcast2_alt2.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt3.res [moved from tests/sav/base_upcast2_alt3.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt4.res [moved from tests/sav/base_upcast2_alt4.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt5.res [moved from tests/sav/base_upcast2_alt5.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt6.res [moved from tests/sav/base_upcast2_alt6.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt7.res [moved from tests/sav/base_upcast2_alt7.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt8.res [moved from tests/sav/base_upcast2_alt8.sav with 100% similarity]
tests/sav/nitc/base_upcast2_alt9.res [moved from tests/sav/base_upcast2_alt9.sav with 100% similarity]
tests/sav/nitc/base_var2_alt1.res [moved from tests/sav/base_var2_alt1.sav with 100% similarity]
tests/sav/nitc/base_var2_alt2.res [moved from tests/sav/base_var2_alt2.sav with 100% similarity]
tests/sav/nitc/base_var2_alt3.res [moved from tests/sav/base_var2_alt3.sav with 100% similarity]
tests/sav/nitc/base_var2_alt4.res [moved from tests/sav/base_var2_alt4.sav with 100% similarity]
tests/sav/nitc/base_var2_alt5.res [moved from tests/sav/base_var2_alt5.sav with 100% similarity]
tests/sav/nitc/base_var2_alt6.res [moved from tests/sav/base_var2_alt6.sav with 100% similarity]
tests/sav/nitc/base_var2_alt9.res [moved from tests/sav/base_var2_alt9.sav with 100% similarity]
tests/sav/nitc/base_var_type_evolution_null3.res [moved from tests/sav/base_var_type_evolution_null3.sav with 100% similarity]
tests/sav/nitc/base_var_type_evolution_null3_alt1.res [moved from tests/sav/base_var_type_evolution_null3_alt1.sav with 100% similarity]
tests/sav/nitc/base_var_type_evolution_nullable.res [moved from tests/sav/base_var_type_evolution_nullable.sav with 100% similarity]
tests/sav/nitc/base_var_untyped_alt6.res [moved from tests/sav/base_var_untyped_alt6.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt1.res [moved from tests/sav/base_vararg_alt1.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt2.res [moved from tests/sav/base_vararg_alt2.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt3.res [moved from tests/sav/base_vararg_alt3.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt4.res [moved from tests/sav/base_vararg_alt4.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt5.res [moved from tests/sav/base_vararg_alt5.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt6.res [moved from tests/sav/base_vararg_alt6.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt7.res [moved from tests/sav/base_vararg_alt7.sav with 100% similarity]
tests/sav/nitc/base_vararg_alt8.res [moved from tests/sav/base_vararg_alt8.sav with 100% similarity]
tests/sav/nitc/base_virtual_int2_alt2.res [moved from tests/sav/base_virtual_int2_alt2.sav with 100% similarity]
tests/sav/nitc/base_virtual_int_alt2.res [moved from tests/sav/base_virtual_int_alt2.sav with 100% similarity]
tests/sav/nitc/base_virtual_type7.res [moved from tests/sav/base_virtual_type7.sav with 100% similarity]
tests/sav/nitc/base_virtual_type_check_alt10.res [moved from tests/sav/base_virtual_type_check_alt10.sav with 100% similarity]
tests/sav/nitc/base_virtual_type_check_alt8.res [moved from tests/sav/base_virtual_type_check_alt8.sav with 100% similarity]
tests/sav/nitc/error_array_ambig.res [moved from tests/sav/error_array_ambig.sav with 100% similarity]
tests/sav/nitc/error_class_generic_alt2.res [moved from tests/sav/error_class_generic_alt2.sav with 100% similarity]
tests/sav/nitc/error_defs_alt5.res [moved from tests/sav/error_defs_alt5.sav with 100% similarity]
tests/sav/nitc/error_expr_not_ok.res [moved from tests/sav/error_expr_not_ok.sav with 100% similarity]
tests/sav/nitc/error_expr_not_ok_alt2.res [moved from tests/sav/error_expr_not_ok_alt2.sav with 100% similarity]
tests/sav/nitc/error_expr_not_ok_alt3.res [moved from tests/sav/error_expr_not_ok_alt3.sav with 100% similarity]
tests/sav/nitc/error_expr_not_ok_alt4.res [moved from tests/sav/error_expr_not_ok_alt4.sav with 100% similarity]
tests/sav/nitc/error_expr_not_ok_alt5.res [moved from tests/sav/error_expr_not_ok_alt5.sav with 100% similarity]
tests/sav/nitc/error_expr_not_ok_alt6.res [moved from tests/sav/error_expr_not_ok_alt6.sav with 100% similarity]
tests/sav/nitc/error_for_coll.res [moved from tests/sav/error_for_coll.sav with 100% similarity]
tests/sav/nitc/error_gen_f_inh_clash.res [moved from tests/sav/error_gen_f_inh_clash.sav with 100% similarity]
tests/sav/nitc/error_inh_clash.res [moved from tests/sav/error_inh_clash.sav with 100% similarity]
tests/sav/nitc/error_inh_clash2.res [moved from tests/sav/error_inh_clash2.sav with 100% similarity]
tests/sav/nitc/error_inh_clash3.res [moved from tests/sav/error_inh_clash3.sav with 100% similarity]
tests/sav/nitc/error_inh_clash4.res [moved from tests/sav/error_inh_clash4.sav with 100% similarity]
tests/sav/nitc/error_inh_loop.res [moved from tests/sav/error_inh_loop.sav with 100% similarity]
tests/sav/nitc/error_init_auto.res [moved from tests/sav/error_init_auto.sav with 100% similarity]
tests/sav/nitc/error_init_auto_alt1.res [moved from tests/sav/error_init_auto_alt1.sav with 100% similarity]
tests/sav/nitc/error_init_auto_alt2.res [moved from tests/sav/error_init_auto_alt2.sav with 100% similarity]
tests/sav/nitc/error_init_auto_alt3.res [moved from tests/sav/error_init_auto_alt3.sav with 100% similarity]
tests/sav/nitc/error_kern_attr_int.res [moved from tests/sav/error_kern_attr_int.sav with 100% similarity]
tests/sav/nitc/error_mod_unk.res [moved from tests/sav/error_mod_unk.sav with 100% similarity]
tests/sav/nitc/error_needed_method_alt1.res [moved from tests/sav/error_needed_method_alt1.sav with 100% similarity]
tests/sav/nitc/error_needed_method_alt2.res [moved from tests/sav/error_needed_method_alt2.sav with 100% similarity]
tests/sav/nitc/error_needed_method_alt3.res [moved from tests/sav/error_needed_method_alt3.sav with 100% similarity]
tests/sav/nitc/error_needed_method_alt4.res [moved from tests/sav/error_needed_method_alt4.sav with 100% similarity]
tests/sav/nitc/error_needed_method_alt6.res [moved from tests/sav/error_needed_method_alt6.sav with 100% similarity]
tests/sav/nitc/error_needed_method_alt7.res [moved from tests/sav/error_needed_method_alt7.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt1.res [moved from tests/sav/error_needed_types_alt1.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt2.res [moved from tests/sav/error_needed_types_alt2.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt3.res [moved from tests/sav/error_needed_types_alt3.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt4.res [moved from tests/sav/error_needed_types_alt4.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt5.res [moved from tests/sav/module_0.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt6.res [moved from tests/sav/error_needed_types_alt6.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt7.res [moved from tests/sav/error_needed_types_alt7.sav with 100% similarity]
tests/sav/nitc/error_needed_types_alt8.res [moved from tests/sav/error_needed_types_alt8.sav with 100% similarity]
tests/sav/nitc/error_redef2_1alt1_alt9.res [moved from tests/sav/error_redef2_1alt1_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef2_1alt2_alt9.res [moved from tests/sav/error_redef2_1alt2_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef2_1alt3_alt9.res [moved from tests/sav/error_redef2_1alt3_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef2_1alt4_alt9.res [moved from tests/sav/error_redef2_1alt4_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef2_alt3.res [moved from tests/sav/error_redef2_alt3.sav with 100% similarity]
tests/sav/nitc/error_redef2_alt6.res [moved from tests/sav/error_redef2_alt6.sav with 100% similarity]
tests/sav/nitc/error_redef2_alt9.res [moved from tests/sav/error_redef2_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt2.res [moved from tests/sav/error_redef_1alt1_alt2.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt3.res [moved from tests/sav/error_redef_1alt1_alt3.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt5.res [moved from tests/sav/error_redef_1alt1_alt5.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt6.res [moved from tests/sav/error_redef_1alt1_alt6.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt7.res [moved from tests/sav/error_redef_1alt1_alt7.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt8.res [moved from tests/sav/error_redef_1alt1_alt8.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt1_alt9.res [moved from tests/sav/error_redef_1alt1_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt2_alt1.res [moved from tests/sav/error_redef_1alt2_alt1.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt2_alt4.res [moved from tests/sav/error_redef_1alt2_alt4.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt2_alt7.res [moved from tests/sav/error_redef_1alt2_alt7.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt2_alt8.res [moved from tests/sav/error_redef_1alt2_alt8.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt2_alt9.res [moved from tests/sav/error_redef_1alt2_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt3_alt2.res [moved from tests/sav/error_redef_1alt3_alt2.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt3_alt3.res [moved from tests/sav/error_redef_1alt3_alt3.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt3_alt5.res [moved from tests/sav/error_redef_1alt3_alt5.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt3_alt6.res [moved from tests/sav/error_redef_1alt3_alt6.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt3_alt8.res [moved from tests/sav/error_redef_1alt3_alt8.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt3_alt9.res [moved from tests/sav/error_redef_1alt3_alt9.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt4_alt1.res [moved from tests/sav/error_redef_1alt4_alt1.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt4_alt2.res [moved from tests/sav/error_redef_1alt4_alt2.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt4_alt4.res [moved from tests/sav/error_redef_1alt4_alt4.sav with 100% similarity]
tests/sav/nitc/error_redef_1alt4_alt7.res [moved from tests/sav/error_redef_1alt4_alt7.sav with 100% similarity]
tests/sav/nitc/error_redef_alt3.res [moved from tests/sav/error_redef_alt3.sav with 100% similarity]
tests/sav/nitc/error_redef_alt6.res [moved from tests/sav/error_redef_alt6.sav with 100% similarity]
tests/sav/nitc/error_redef_alt9.res [moved from tests/sav/error_redef_alt9.sav with 100% similarity]
tests/sav/nitc/error_ref_attr.res [moved from tests/sav/error_ref_attr.sav with 100% similarity]
tests/sav/nitc/error_ref_proc.res [moved from tests/sav/error_ref_proc.sav with 100% similarity]
tests/sav/nitc/error_ref_ret.res [moved from tests/sav/error_ref_ret.sav with 100% similarity]
tests/sav/nitc/error_separate_options.res [moved from tests/sav/error_separate_options.sav with 100% similarity]
tests/sav/nitc/error_spe_attr.res [moved from tests/sav/error_spe_attr.sav with 100% similarity]
tests/sav/nitc/error_spe_param2.res [moved from tests/sav/error_spe_param2.sav with 100% similarity]
tests/sav/nitc/error_spe_proc.res [moved from tests/sav/error_spe_proc.sav with 100% similarity]
tests/sav/nitc/error_spe_ret.res [moved from tests/sav/error_spe_ret.sav with 100% similarity]
tests/sav/nitc/error_superclass_superfluous_alt5.res [moved from tests/sav/error_superclass_superfluous_alt5.sav with 100% similarity]
tests/sav/nitc/error_type_not_ok5.res [moved from tests/sav/error_type_not_ok5.sav with 100% similarity]
tests/sav/nitc/error_type_not_ok5_alt1.res [moved from tests/sav/error_type_not_ok5_alt1.sav with 100% similarity]
tests/sav/nitc/error_type_unk.res [moved from tests/sav/error_type_unk.sav with 100% similarity]
tests/sav/nitc/error_type_unk_alt2.res [moved from tests/sav/error_type_unk_alt2.sav with 100% similarity]
tests/sav/nitc/error_type_unk_alt6.res [moved from tests/sav/error_type_unk_alt6.sav with 100% similarity]
tests/sav/nitc/error_type_unk_alt7.res [moved from tests/sav/error_type_unk_alt7.sav with 100% similarity]
tests/sav/nitc/fixme/base_attr_gen_alt1.res [moved from tests/sav/base_attr_gen_alt1.fail with 100% similarity]
tests/sav/nitc/fixme/base_attr_init_val_raf_alt2.res [deleted file]
tests/sav/nitc/fixme/base_closure_multi_alt5.res [moved from tests/sav/base_closure_multi_alt5.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf.res [moved from tests/sav/base_closure_raf.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt1.res [moved from tests/sav/base_closure_raf_alt1.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt10.res [moved from tests/sav/base_closure_raf_alt10.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt11.res [moved from tests/sav/base_closure_raf_alt11.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt12.res [moved from tests/sav/base_closure_raf_alt12.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt13.res [moved from tests/sav/base_closure_raf_alt13.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt14.res [moved from tests/sav/base_closure_raf_alt14.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt15.res [moved from tests/sav/base_closure_raf_alt15.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt2.res [moved from tests/sav/base_closure_raf_alt2.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt3.res [moved from tests/sav/base_closure_raf_alt3.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt4.res [moved from tests/sav/base_closure_raf_alt4.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt5.res [moved from tests/sav/base_closure_raf_alt5.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt6.res [moved from tests/sav/base_closure_raf_alt6.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt7.res [moved from tests/sav/base_closure_raf_alt7.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt8.res [moved from tests/sav/base_closure_raf_alt8.fail with 100% similarity]
tests/sav/nitc/fixme/base_closure_raf_alt9.res [moved from tests/sav/base_closure_raf_alt9.fail with 100% similarity]
tests/sav/nitc/fixme/base_eq2_float.res [moved from tests/sav/fixme/base_eq2_float.res with 100% similarity]
tests/sav/nitc/fixme/base_eq_float.res [moved from tests/sav/fixme/base_eq_float.res with 100% similarity]
tests/sav/nitc/fixme/base_isa_vt_gen2.res [deleted file]
tests/sav/nitc/fixme/base_ni_alt1.res [moved from tests/sav/fixme/base_ni_alt1.res with 100% similarity]
tests/sav/nitc/fixme/base_types_formal_and_virtual2.res [moved from tests/sav/base_types_formal_and_virtual2.fail with 100% similarity]
tests/sav/nitc/fixme/base_virtual_type_self_alt1.res [moved from tests/sav/base_virtual_type_self_alt1.fail with 100% similarity]
tests/sav/nitc/fixme/base_virtual_type_self_alt2.res [moved from tests/sav/base_virtual_type_self_alt2.fail with 100% similarity]
tests/sav/nitc/fixme/base_virtual_type_self_alt3.res [moved from tests/sav/base_virtual_type_self_alt3.fail with 100% similarity]
tests/sav/nitc/fixme/base_virtual_type_self_alt4.res [moved from tests/sav/base_virtual_type_self_alt4.fail with 100% similarity]
tests/sav/nitc/fixme/base_virtual_type_self_alt5.res [moved from tests/sav/base_virtual_type_self_alt5.fail with 100% similarity]
tests/sav/nitc/fixme/error_prop_glob.res [moved from tests/sav/module_1.sav with 100% similarity]
tests/sav/nitc/fixme/test_paire.res [new file with mode: 0644]
tests/sav/nitc/nitmetrics_args1.res [moved from tests/sav/nitmetrics_args1.sav with 100% similarity]
tests/sav/nitc/rterror_attr_def_alt7.res [moved from tests/sav/rterror_attr_def_alt7.sav with 100% similarity]
tests/sav/nitc/test_array_comb_alt1.res [moved from tests/sav/test_array_comb_alt1.sav with 100% similarity]
tests/sav/nitc/test_array_comb_alt2.res [moved from tests/sav/test_array_comb_alt2.sav with 100% similarity]
tests/sav/nitc/test_variance_attr.res [moved from tests/sav/test_variance_attr.sav with 100% similarity]
tests/sav/nitc/test_variance_param_alt1.res [moved from tests/sav/test_variance_param_alt1.sav with 100% similarity]
tests/sav/nitc/test_variance_param_alt2.res [moved from tests/sav/test_variance_param_alt2.sav with 100% similarity]
tests/sav/nitc/test_variance_param_alt3.res [moved from tests/sav/test_variance_param_alt3.sav with 100% similarity]
tests/sav/nitc/test_variance_param_alt4.res [moved from tests/sav/test_variance_param_alt4.sav with 100% similarity]
tests/sav/nitc/test_variance_param_alt5.res [moved from tests/sav/test_variance_param_alt5.sav with 100% similarity]
tests/sav/nitc/test_variance_param_alt6.res [moved from tests/sav/test_variance_param_alt6.sav with 100% similarity]
tests/sav/nitc_args1.res [moved from tests/sav/nitc_args1.sav with 100% similarity]
tests/sav/nitdoc.res
tests/sav/nitdoc.sav [deleted file]
tests/sav/nitdoc_args1.res
tests/sav/nitdoc_args1.sav [deleted file]
tests/sav/nitg-e/base_isa_vt_gen1.res [deleted file]
tests/sav/nitg-e/base_super_linext_raf.res [deleted file]
tests/sav/nitg-g/base_isa1.res [deleted file]
tests/sav/nitg-g/base_isa_vt_gen1.res [deleted file]
tests/sav/nitg-g/base_no_object.res [new file with mode: 0644]
tests/sav/nitg-g/base_super_linext_raf.res [deleted file]
tests/sav/nitg-s/base_isa1.res [deleted file]
tests/sav/nitg-s/base_isa_vt_gen1.res [deleted file]
tests/sav/nitg-s/base_super_linext_raf.res [deleted file]
tests/sav/niti/base_attr_nullable_alt2.res [moved from tests/sav/base_attr_nullable_alt2.sav with 80% similarity]
tests/sav/niti/base_isa1.res [deleted file]
tests/sav/niti/base_isa_vt_gen1.res [deleted file]
tests/sav/niti/base_no_object.res [new file with mode: 0644]
tests/sav/niti/base_super_linext_raf.res [deleted file]
tests/sav/niti/error_needed_method_alt4.res [deleted file]
tests/sav/niti/test_attr_easy.res [deleted file]
tests/sav/nits.res
tests/sav/nits.sav [deleted file]
tests/sav/old/base_virtual_type_variance_int_alt1.res [moved from tests/sav/nitc/fixme/base_virtual_type_variance_int_alt1.res with 100% similarity]
tests/sav/opts.res [moved from tests/sav/module_simple.sav with 100% similarity]
tests/sav/print_arguments.res [moved from tests/sav/opts.sav with 100% similarity]
tests/sav/privileges.res [moved from tests/sav/print_arguments.sav with 100% similarity]
tests/sav/procedural_array.res [moved from tests/sav/procedural_array.sav with 100% similarity]
tests/sav/rterror_check.res [moved from tests/sav/rterror_check.sav with 100% similarity]
tests/sav/rterror_null_receiver.res [moved from tests/sav/rterror_null_receiver.sav with 100% similarity]
tests/sav/rterror_null_receiver_alt1.res [moved from tests/sav/rterror_null_receiver_alt1.sav with 100% similarity]
tests/sav/rterror_null_receiver_alt2.res [moved from tests/sav/rterror_null_receiver_alt2.sav with 100% similarity]
tests/sav/rterror_null_receiver_alt3.res [moved from tests/sav/rterror_null_receiver_alt3.sav with 100% similarity]
tests/sav/rterror_null_receiver_alt4.res [moved from tests/sav/rterror_null_receiver_alt4.sav with 100% similarity]
tests/sav/rterror_null_receiver_alt5.res [moved from tests/sav/rterror_null_receiver_alt5.sav with 100% similarity]
tests/sav/rterror_null_receiver_alt6.res [moved from tests/sav/rterror_null_receiver_alt6.sav with 100% similarity]
tests/sav/shootout_ackermann.res [moved from tests/sav/shootout_ackermann.sav with 100% similarity]
tests/sav/shootout_ackermann_args1.res [moved from tests/sav/shootout_ackermann_args1.sav with 100% similarity]
tests/sav/shootout_binarytrees.res [moved from tests/sav/shootout_binarytrees.sav with 100% similarity]
tests/sav/shootout_binarytrees_args1.res [moved from tests/sav/shootout_binarytrees_args1.sav with 100% similarity]
tests/sav/shootout_mandelbrot.res [moved from tests/sav/shootout_mandelbrot.sav with 100% similarity]
tests/sav/shootout_mandelbrot_args1.res [moved from tests/sav/shootout_mandelbrot_args1.sav with 100% similarity]
tests/sav/shootout_nsieve.res [moved from tests/sav/shootout_nsieve.sav with 100% similarity]
tests/sav/shootout_startup.res [moved from tests/sav/shootout_startup.sav with 100% similarity]
tests/sav/socket_client.res [moved from tests/sav/socket_client.sav with 100% similarity]
tests/sav/socket_server.res [moved from tests/sav/socket_server.sav with 100% similarity]
tests/sav/sort_downloads.res [moved from tests/sav/sort_downloads.sav with 100% similarity]
tests/sav/string_ffi_ref_test.res [moved from tests/sav/string_ffi_ref_test.sav with 100% similarity]
tests/sav/string_trim.res [moved from tests/sav/string_trim.sav with 100% similarity]
tests/sav/test_accessor.res [moved from tests/sav/test_accessor.sav with 100% similarity]
tests/sav/test_args.res [moved from tests/sav/test_args.sav with 100% similarity]
tests/sav/test_args_args1.res [moved from tests/sav/test_args_args1.sav with 100% similarity]
tests/sav/test_args_args2.res [moved from tests/sav/test_args_args2.sav with 100% similarity]
tests/sav/test_args_args3.res [moved from tests/sav/test_args_args3.sav with 100% similarity]
tests/sav/test_array.res [moved from tests/sav/test_array.sav with 100% similarity]
tests/sav/test_array_comb.res [moved from tests/sav/privileges.sav with 100% similarity]
tests/sav/test_array_eq.res [moved from tests/sav/test_array_eq.sav with 100% similarity]
tests/sav/test_array_int.res [moved from tests/sav/test_array_int.sav with 100% similarity]
tests/sav/test_atoi.res [moved from tests/sav/test_atoi.sav with 100% similarity]
tests/sav/test_attr.res [moved from tests/sav/test_attr.sav with 100% similarity]
tests/sav/test_attr_easy.res
tests/sav/test_attr_easy.sav [deleted file]
tests/sav/test_attr_long.res [moved from tests/sav/test_attr_long.sav with 100% similarity]
tests/sav/test_base64.res [moved from tests/sav/test_base64.sav with 100% similarity]
tests/sav/test_binariesop.res [moved from tests/sav/test_binariesop.sav with 100% similarity]
tests/sav/test_blocks.res [moved from tests/sav/test_blocks.sav with 100% similarity]
tests/sav/test_boxing.res [moved from tests/sav/test_boxing.sav with 100% similarity]
tests/sav/test_break.res [moved from tests/sav/test_break.sav with 100% similarity]
tests/sav/test_calls.res [moved from tests/sav/test_calls.sav with 100% similarity]
tests/sav/test_char_is_meths.res [moved from tests/sav/test_char_is_meths.sav with 100% similarity]
tests/sav/test_closure_inlined_return.res [moved from tests/sav/test_closure_inlined_return.sav with 100% similarity]
tests/sav/test_closure_inlined_return_alt1.res [moved from tests/sav/test_closure_inlined_return_alt1.sav with 100% similarity]
tests/sav/test_coll.res [moved from tests/sav/test_array_comb.sav with 100% similarity]
tests/sav/test_coll_array.res [moved from tests/sav/test_coll_array.sav with 100% similarity]
tests/sav/test_combined_assignment.res [moved from tests/sav/test_combined_assignment.sav with 100% similarity]
tests/sav/test_combined_assignment_alt1.res [moved from tests/sav/test_combined_assignment_alt1.sav with 100% similarity]
tests/sav/test_cond.res [moved from tests/sav/test_cond.sav with 100% similarity]
tests/sav/test_create.res [moved from tests/sav/test_create.sav with 100% similarity]
tests/sav/test_create_more.res [moved from tests/sav/test_create_more.sav with 100% similarity]
tests/sav/test_curl.res [moved from tests/sav/test_curl.sav with 100% similarity]
tests/sav/test_directory_create.res [moved from tests/sav/test_directory_create.sav with 100% similarity]
tests/sav/test_eq.res [moved from tests/sav/test_eq.sav with 100% similarity]
tests/sav/test_eq2.res [moved from tests/sav/test_eq2.sav with 100% similarity]
tests/sav/test_equal.res [moved from tests/sav/test_equal.sav with 100% similarity]
tests/sav/test_equal_nil.res [moved from tests/sav/test_equal_nil.sav with 100% similarity]
tests/sav/test_exec.res [moved from tests/sav/test_exec.sav with 100% similarity]
tests/sav/test_exec_ls.res [moved from tests/sav/test_exec_ls.sav with 100% similarity]
tests/sav/test_extern.res [moved from tests/sav/test_extern.sav with 100% similarity]
tests/sav/test_fdstream.res [moved from tests/sav/test_fdstream.sav with 100% similarity]
tests/sav/test_ffi_c_accessor.res [moved from tests/sav/test_ffi_c_accessor.sav with 100% similarity]
tests/sav/test_ffi_c_callback_extern_receiver.res [moved from tests/sav/test_ffi_c_callback_extern_receiver.sav with 100% similarity]
tests/sav/test_ffi_c_callbacks.res [moved from tests/sav/test_ffi_c_callbacks.sav with 100% similarity]
tests/sav/test_ffi_c_casts.res [moved from tests/sav/test_ffi_c_casts.sav with 100% similarity]
tests/sav/test_ffi_c_extra_simple.res [moved from tests/sav/test_ffi_c_extra_simple.sav with 100% similarity]
tests/sav/test_ffi_c_fibonacci.res [moved from tests/sav/test_ffi_c_fibonacci.sav with 100% similarity]
tests/sav/test_ffi_c_global_ref.res [moved from tests/sav/test_ffi_c_global_ref.sav with 100% similarity]
tests/sav/test_ffi_c_more.res [moved from tests/sav/test_ffi_c_more.sav with 100% similarity]
tests/sav/test_ffi_c_more_callbacks.res [moved from tests/sav/test_ffi_c_more_callbacks.sav with 100% similarity]
tests/sav/test_ffi_c_new.res [moved from tests/sav/test_ffi_c_new.sav with 100% similarity]
tests/sav/test_ffi_c_operators.res [moved from tests/sav/test_ffi_c_operators.sav with 100% similarity]
tests/sav/test_ffi_c_primitives.res [moved from tests/sav/test_ffi_c_primitives.sav with 100% similarity]
tests/sav/test_ffi_c_simple.res [moved from tests/sav/test_ffi_c_simple.sav with 100% similarity]
tests/sav/test_ffi_c_strings.res [moved from tests/sav/test_ffi_c_strings.sav with 100% similarity]
tests/sav/test_ffi_c_super.res [moved from tests/sav/test_ffi_c_super.sav with 100% similarity]
tests/sav/test_ffi_c_types.res [moved from tests/sav/test_ffi_c_types.sav with 100% similarity]
tests/sav/test_ffi_c_types_import.res [moved from tests/sav/test_ffi_c_types_import.sav with 100% similarity]
tests/sav/test_file_extension.res [moved from tests/sav/test_file_extension.sav with 100% similarity]
tests/sav/test_file_read.res [moved from tests/sav/test_file_read.sav with 100% similarity]
tests/sav/test_file_write.res [moved from tests/sav/test_file_write.sav with 100% similarity]
tests/sav/test_filterstream.res [moved from tests/sav/test_filterstream.sav with 100% similarity]
tests/sav/test_for.res [moved from tests/sav/test_for.sav with 100% similarity]
tests/sav/test_gc_forced.res [moved from tests/sav/test_gc_forced.sav with 100% similarity]
tests/sav/test_gen.res [moved from tests/sav/test_gen.sav with 100% similarity]
tests/sav/test_gen_inh.res [moved from tests/sav/test_gen_inh.sav with 100% similarity]
tests/sav/test_genplus.res [moved from tests/sav/test_coll.sav with 100% similarity]
tests/sav/test_gets.res [moved from tests/sav/test_gets.sav with 100% similarity]
tests/sav/test_gtk.res [moved from tests/sav/test_genplus.sav with 100% similarity]
tests/sav/test_hash.res [moved from tests/sav/test_hash.sav with 100% similarity]
tests/sav/test_id.res [moved from tests/sav/test_id.sav with 100% similarity]
tests/sav/test_inheritance.res [moved from tests/sav/test_inheritance.sav with 100% similarity]
tests/sav/test_inheritance_raf.res [moved from tests/sav/test_inheritance_raf.sav with 100% similarity]
tests/sav/test_int_to_s.res [moved from tests/sav/test_int_to_s.sav with 100% similarity]
tests/sav/test_io.res [moved from tests/sav/test_io.sav with 100% similarity]
tests/sav/test_isa.res
tests/sav/test_isa.sav [deleted file]
tests/sav/test_iterate.res [moved from tests/sav/test_iterate.sav with 100% similarity]
tests/sav/test_kernel.res [moved from tests/sav/test_kernel.sav with 100% similarity]
tests/sav/test_list.res [moved from tests/sav/test_list.sav with 100% similarity]
tests/sav/test_list2.res [moved from tests/sav/test_list2.sav with 100% similarity]
tests/sav/test_map.res [moved from tests/sav/test_map.sav with 100% similarity]
tests/sav/test_map_closure_default.res [moved from tests/sav/test_map_closure_default.sav with 100% similarity]
tests/sav/test_map_closure_default_alt1.res [moved from tests/sav/test_map_closure_default_alt1.sav with 100% similarity]
tests/sav/test_md5.res [moved from tests/sav/test_md5.sav with 100% similarity]
tests/sav/test_mem.res [moved from tests/sav/test_mem.sav with 100% similarity]
tests/sav/test_meta.res [moved from tests/sav/test_meta.sav with 100% similarity]
tests/sav/test_multi_init.res [moved from tests/sav/test_multi_init.sav with 100% similarity]
tests/sav/test_multi_init_user.res [moved from tests/sav/test_multi_init_user.sav with 100% similarity]
tests/sav/test_multiconstraint.res [moved from tests/sav/test_multiconstraint.sav with 100% similarity]
tests/sav/test_multiconstraint_inh.res [moved from tests/sav/test_multiconstraint_inh.sav with 100% similarity]
tests/sav/test_multiconstraint_ref.res [moved from tests/sav/test_multiconstraint_ref.sav with 100% similarity]
tests/sav/test_multiconstraint_ref2.res [moved from tests/sav/test_multiconstraint_ref2.sav with 100% similarity]
tests/sav/test_ni_accessor.res [moved from tests/sav/test_ni_accessor.sav with 100% similarity]
tests/sav/test_ni_cast_extra.res [moved from tests/sav/test_ni_cast_extra.sav with 100% similarity]
tests/sav/test_ni_cast_simple.res [moved from tests/sav/test_ni_cast_simple.sav with 100% similarity]
tests/sav/test_ni_fibonacci.res [moved from tests/sav/test_ni_fibonacci.sav with 100% similarity]
tests/sav/test_ni_global_not_called_but_referred.res [moved from tests/sav/test_gtk.sav with 100% similarity]
tests/sav/test_ni_global_not_called_but_referred.sav [deleted file]
tests/sav/test_ni_global_only_from_native.res [moved from tests/sav/test_ni_global_only_from_native.sav with 100% similarity]
tests/sav/test_ni_import_init.res [moved from tests/sav/test_ni_import_init.sav with 100% similarity]
tests/sav/test_ni_import_meth.res [moved from tests/sav/test_ni_import_meth.sav with 100% similarity]
tests/sav/test_ni_local_ref.res [moved from tests/sav/test_ni_local_ref.sav with 100% similarity]
tests/sav/test_ni_new.res [moved from tests/sav/test_ni_new.sav with 100% similarity]
tests/sav/test_ni_null.res [moved from tests/sav/test_ni_null.sav with 100% similarity]
tests/sav/test_ni_operators.res [moved from tests/sav/test_ni_operators.sav with 100% similarity]
tests/sav/test_ni_optimized.res [moved from tests/sav/test_ni_optimized.sav with 100% similarity]
tests/sav/test_ni_out.res [moved from tests/sav/test_ni_out.sav with 100% similarity]
tests/sav/test_ni_pointer.res [moved from tests/sav/test_ni_pointer.sav with 100% similarity]
tests/sav/test_ni_primitives.res [moved from tests/sav/test_ni_primitives.sav with 100% similarity]
tests/sav/test_ni_special_all_native.res [moved from tests/sav/test_ni_special_all_native.sav with 100% similarity]
tests/sav/test_ni_special_from_native.res [moved from tests/sav/test_ni_special_from_native.sav with 100% similarity]
tests/sav/test_ni_special_pointer.res [moved from tests/sav/test_ni_special_pointer.sav with 100% similarity]
tests/sav/test_ni_special_to_native.res [moved from tests/sav/test_ni_special_to_native.sav with 100% similarity]
tests/sav/test_ni_strings.res [moved from tests/sav/test_ni_strings.sav with 100% similarity]
tests/sav/test_ni_super.res [moved from tests/sav/test_ni_super.sav with 100% similarity]
tests/sav/test_obj.res [moved from tests/sav/test_obj.sav with 100% similarity]
tests/sav/test_operator_brackets.res [moved from tests/sav/test_operator_brackets.sav with 100% similarity]
tests/sav/test_operators.res [moved from tests/sav/test_operators.sav with 100% similarity]
tests/sav/test_partial_order.res [moved from tests/sav/test_partial_order.sav with 100% similarity]
tests/sav/test_pipeline.sav [deleted file]
tests/sav/test_print.res [moved from tests/sav/test_print.sav with 100% similarity]
tests/sav/test_range.res [moved from tests/sav/test_range.sav with 100% similarity]
tests/sav/test_realtime.res [moved from tests/sav/test_realtime.sav with 100% similarity]
tests/sav/test_refinement.res [moved from tests/sav/test_refinement.sav with 100% similarity]
tests/sav/test_return.res
tests/sav/test_return.sav [deleted file]
tests/sav/test_separate_options.res [moved from tests/sav/test_separate_options.sav with 100% similarity]
tests/sav/test_signals.res [moved from tests/sav/test_signals.sav with 100% similarity]
tests/sav/test_sqlite3.res [moved from tests/sav/test_sqlite3.sav with 100% similarity]
tests/sav/test_stdio.res [moved from tests/sav/test_stdio.sav with 100% similarity]
tests/sav/test_stream_poll.res [moved from tests/sav/test_stream_poll.sav with 100% similarity]
tests/sav/test_string.res [moved from tests/sav/test_string.sav with 100% similarity]
tests/sav/test_string_is_numeric.res [moved from tests/sav/test_string_is_numeric.sav with 100% similarity]
tests/sav/test_string_long.res [moved from tests/sav/test_string_long.sav with 100% similarity]
tests/sav/test_string_search.res [moved from tests/sav/test_string_search.sav with 100% similarity]
tests/sav/test_string_unicode.res [moved from tests/sav/test_string_unicode.sav with 100% similarity]
tests/sav/test_subarray.res [moved from tests/sav/test_subarray.sav with 100% similarity]
tests/sav/test_substring.res [moved from tests/sav/test_substring.sav with 100% similarity]
tests/sav/test_super.res [moved from tests/sav/test_super.sav with 100% similarity]
tests/sav/test_super_explicit.res [moved from tests/sav/test_super_explicit.sav with 100% similarity]
tests/sav/test_super_gen.res [moved from tests/sav/test_super_gen.sav with 100% similarity]
tests/sav/test_super_gen_raf.res [moved from tests/sav/test_super_gen_raf.sav with 100% similarity]
tests/sav/test_super_param.res [moved from tests/sav/test_super_param.sav with 100% similarity]
tests/sav/test_super_param_raf.res [moved from tests/sav/test_super_param_raf.sav with 100% similarity]
tests/sav/test_super_param_raf2.res [moved from tests/sav/test_super_param_raf2.sav with 100% similarity]
tests/sav/test_superstring.res [moved from tests/sav/test_superstring.sav with 100% similarity]
tests/sav/test_symbol.res [moved from tests/sav/test_symbol.sav with 100% similarity]
tests/sav/test_undead.res [moved from tests/sav/test_undead.sav with 100% similarity]
tests/sav/test_variance_param.res [moved from tests/sav/test_variance_param.sav with 100% similarity]
tests/sav/test_variance_ret.res [moved from tests/sav/test_variance_ret.sav with 100% similarity]
tests/sav/warn_par.res
tests/sav/warn_par.sav [deleted file]
tests/sav/warn_sig_par.res [moved from tests/sav/warn_sig_par.sav with 100% similarity]

index 7ff4707..38255cb 100644 (file)
@@ -1,3 +1,5 @@
+base_as_cast.nit:42,1--12: Warning: Expression is already a Object.
+base_as_cast.nit:52,1--12: Warning: Expression is already a Object.
 0
 0
 0
@@ -7,5 +9,3 @@
 2
 2
 2
-base_as_cast.nit:42,1--12: Warning: Expression is already a Object.
-base_as_cast.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast.sav b/tests/sav/base_as_cast.sav
deleted file mode 100644 (file)
index 38255cb..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-base_as_cast.nit:42,1--12: Warning: Expression is already a Object.
-base_as_cast.nit:52,1--12: Warning: Expression is already a Object.
-0
-0
-0
-
-2
-2
-2
-2
-2
index 81a347d..b8bd435 100644 (file)
@@ -1,6 +1,6 @@
+alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
 0
 0
 0
-Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
-alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast_alt1.sav b/tests/sav/base_as_cast_alt1.sav
deleted file mode 100644 (file)
index b8bd435..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
-0
-0
-0
index 13ba6a3..4222067 100644 (file)
@@ -1,6 +1,6 @@
+alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
 0
 0
 0
-Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
-alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast_alt2.sav b/tests/sav/base_as_cast_alt2.sav
deleted file mode 100644 (file)
index 4222067..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
-0
-0
-0
index 944315c..4dcc2ef 100644 (file)
@@ -1,6 +1,6 @@
+alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
 0
 0
 0
-Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
-alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast_alt3.sav b/tests/sav/base_as_cast_alt3.sav
deleted file mode 100644 (file)
index 4dcc2ef..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
-0
-0
-0
index 6b1c923..685be2d 100644 (file)
@@ -1,6 +1,6 @@
+alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
 0
 0
 0
-Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
-alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast_alt4.sav b/tests/sav/base_as_cast_alt4.sav
deleted file mode 100644 (file)
index 685be2d..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
-0
-0
-0
index c9acf9d..802a10c 100644 (file)
@@ -1,3 +1,6 @@
+alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
 0
 0
 0
@@ -7,6 +10,3 @@
 2
 2
 2
-Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
-alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast_alt5.sav b/tests/sav/base_as_cast_alt5.sav
deleted file mode 100644 (file)
index 802a10c..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
-0
-0
-0
-
-2
-2
-2
-2
-2
index c550f7e..597f534 100644 (file)
@@ -1,3 +1,6 @@
+alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
 0
 0
 0
@@ -7,6 +10,3 @@
 2
 2
 2
-Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
-alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
diff --git a/tests/sav/base_as_cast_alt6.sav b/tests/sav/base_as_cast_alt6.sav
deleted file mode 100644 (file)
index 597f534..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
-0
-0
-0
-
-2
-2
-2
-2
-2
index d238261..bd9cbf0 100644 (file)
@@ -1,2 +1,2 @@
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:39)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:35)
 1
similarity index 100%
rename from tests/sav/base_eq.sav
rename to tests/sav/base_eq.res
index 3fbcebb..57d3ecb 100644 (file)
@@ -1,3 +1,5 @@
+base_isa.nit:39,2--13: Warning: Expression is already a Object.
+base_isa.nit:49,2--13: Warning: Expression is already a Object.
 true
 true
 true
@@ -13,5 +15,3 @@ true
 true
 true
 true
-base_isa.nit:39,2--13: Warning: Expression is already a Object.
-base_isa.nit:49,2--13: Warning: Expression is already a Object.
diff --git a/tests/sav/base_isa.sav b/tests/sav/base_isa.sav
deleted file mode 100644 (file)
index 57d3ecb..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-base_isa.nit:39,2--13: Warning: Expression is already a Object.
-base_isa.nit:49,2--13: Warning: Expression is already a Object.
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
index 48301ef..ba69aa1 100644 (file)
@@ -1,5 +1,3 @@
 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
index 98fffea..6aa8394 100644 (file)
@@ -1,6 +1,6 @@
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[T, U, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object] since it is a Triple[String, Int, V].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String] since it is a Triple[String, String, V].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]] since it is a Triple[String, String, V].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String] since it is a Triple[String, String, V].
+base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
+base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
+base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
+base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
+base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
 true
index 6360245..5df0b4b 100644 (file)
@@ -1 +1,20 @@
-alt/base_ret_covar_int_alt1.nit:38,18--20: Redef Error: Wrong return type. found Int, expected V.
+1
+2
+3
+4
+5
+1
+2
+3
+4
+5
+11
+22
+33
+44
+55
+11
+22
+33
+44
+55
diff --git a/tests/sav/base_ret_covar_int_alt1.sav b/tests/sav/base_ret_covar_int_alt1.sav
deleted file mode 100644 (file)
index 5df0b4b..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-1
-2
-3
-4
-5
-1
-2
-3
-4
-5
-11
-22
-33
-44
-55
-11
-22
-33
-44
-55
index ee284c0..4c73f6d 100644 (file)
@@ -1,8 +1,8 @@
 a[A]
 Aa
-b[B[A]]
-ABb
-c[C[A]]
-ACc
-d[D[C[B[A]]]]
-ABCDd
+b[B[a[A]]]
+AaBb
+c[C[a[A]]]
+AaCc
+d[D[c[C[b[B[a[A]]]]]]]
+AaBbCcDd
diff --git a/tests/sav/base_upcast2_1alt1.sav b/tests/sav/base_upcast2_1alt1.sav
deleted file mode 100644 (file)
index 70f5a24..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt1_alt1.sav b/tests/sav/base_upcast2_1alt1_alt1.sav
deleted file mode 100644 (file)
index 970837b..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt1_alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt1_alt10.sav b/tests/sav/base_upcast2_1alt1_alt10.sav
deleted file mode 100644 (file)
index 4ebc94a..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt1_alt10.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T
diff --git a/tests/sav/base_upcast2_1alt1_alt2.sav b/tests/sav/base_upcast2_1alt1_alt2.sav
deleted file mode 100644 (file)
index 82022ff..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt1_alt2.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
diff --git a/tests/sav/base_upcast2_1alt1_alt3.sav b/tests/sav/base_upcast2_1alt1_alt3.sav
deleted file mode 100644 (file)
index 0172121..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt1_alt3.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt1_alt4.sav b/tests/sav/base_upcast2_1alt1_alt4.sav
deleted file mode 100644 (file)
index aebee76..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt1_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt1_alt5.sav b/tests/sav/base_upcast2_1alt1_alt5.sav
deleted file mode 100644 (file)
index ee4c506..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt1_alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt1_alt6.sav b/tests/sav/base_upcast2_1alt1_alt6.sav
deleted file mode 100644 (file)
index ab48ba1..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt1_alt6.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt1_alt7.sav b/tests/sav/base_upcast2_1alt1_alt7.sav
deleted file mode 100644 (file)
index a28de57..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt1_alt7.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T
diff --git a/tests/sav/base_upcast2_1alt1_alt8.sav b/tests/sav/base_upcast2_1alt1_alt8.sav
deleted file mode 100644 (file)
index ae3e0e9..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt1_alt8.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T
diff --git a/tests/sav/base_upcast2_1alt1_alt9.sav b/tests/sav/base_upcast2_1alt1_alt9.sav
deleted file mode 100644 (file)
index 4c9970f..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt1_alt9.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T
diff --git a/tests/sav/base_upcast2_1alt4.sav b/tests/sav/base_upcast2_1alt4.sav
deleted file mode 100644 (file)
index cf976e4..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt4_alt1.sav b/tests/sav/base_upcast2_1alt4_alt1.sav
deleted file mode 100644 (file)
index e83ff86..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt4_alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt1.nit:27,21--22: Type error: expected T, got A[Int]
diff --git a/tests/sav/base_upcast2_1alt4_alt10.sav b/tests/sav/base_upcast2_1alt4_alt10.sav
deleted file mode 100644 (file)
index 109e8d8..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt4_alt10.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T
diff --git a/tests/sav/base_upcast2_1alt4_alt2.sav b/tests/sav/base_upcast2_1alt4_alt2.sav
deleted file mode 100644 (file)
index ad146a2..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt4_alt2.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
diff --git a/tests/sav/base_upcast2_1alt4_alt3.sav b/tests/sav/base_upcast2_1alt4_alt3.sav
deleted file mode 100644 (file)
index 38234bc..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt4_alt3.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt3.nit:29,21--22: Type error: expected T, got B[Int]
diff --git a/tests/sav/base_upcast2_1alt4_alt4.sav b/tests/sav/base_upcast2_1alt4_alt4.sav
deleted file mode 100644 (file)
index 068f89a..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt4_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt4_alt5.sav b/tests/sav/base_upcast2_1alt4_alt5.sav
deleted file mode 100644 (file)
index 943d7f6..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt4_alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt4_alt6.sav b/tests/sav/base_upcast2_1alt4_alt6.sav
deleted file mode 100644 (file)
index 1fd2c78..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt4_alt6.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt4_alt7.sav b/tests/sav/base_upcast2_1alt4_alt7.sav
deleted file mode 100644 (file)
index c4c2e99..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt4_alt7.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T
diff --git a/tests/sav/base_upcast2_1alt4_alt8.sav b/tests/sav/base_upcast2_1alt4_alt8.sav
deleted file mode 100644 (file)
index 5c58539..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt4_alt8.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T
diff --git a/tests/sav/base_upcast2_1alt4_alt9.sav b/tests/sav/base_upcast2_1alt4_alt9.sav
deleted file mode 100644 (file)
index f9c5922..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt4_alt9.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt5.sav b/tests/sav/base_upcast2_1alt5.sav
deleted file mode 100644 (file)
index 33254c7..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt5_alt1.sav b/tests/sav/base_upcast2_1alt5_alt1.sav
deleted file mode 100644 (file)
index 0854e1f..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt5_alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt1.nit:27,21--22: Type error: expected T, got A[Int]
diff --git a/tests/sav/base_upcast2_1alt5_alt10.sav b/tests/sav/base_upcast2_1alt5_alt10.sav
deleted file mode 100644 (file)
index 2599ad5..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt5_alt10.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt5_alt2.sav b/tests/sav/base_upcast2_1alt5_alt2.sav
deleted file mode 100644 (file)
index 5cb7814..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt5_alt2.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
diff --git a/tests/sav/base_upcast2_1alt5_alt3.sav b/tests/sav/base_upcast2_1alt5_alt3.sav
deleted file mode 100644 (file)
index 70454d3..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt5_alt3.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt3.nit:29,21--22: Type error: expected T, got B[Int]
diff --git a/tests/sav/base_upcast2_1alt5_alt4.sav b/tests/sav/base_upcast2_1alt5_alt4.sav
deleted file mode 100644 (file)
index c4d547d..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt5_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt4.nit:30,21--22: Type error: expected T, got B[Bool]
diff --git a/tests/sav/base_upcast2_1alt5_alt5.sav b/tests/sav/base_upcast2_1alt5_alt5.sav
deleted file mode 100644 (file)
index b5daf1a..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt5_alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt5_alt6.sav b/tests/sav/base_upcast2_1alt5_alt6.sav
deleted file mode 100644 (file)
index 30ccad9..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt5_alt6.nit:26,14--20: Warning: Expression is already a T since it is a C.
diff --git a/tests/sav/base_upcast2_1alt5_alt7.sav b/tests/sav/base_upcast2_1alt5_alt7.sav
deleted file mode 100644 (file)
index 86163ea..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt5_alt7.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T
diff --git a/tests/sav/base_upcast2_1alt5_alt8.sav b/tests/sav/base_upcast2_1alt5_alt8.sav
deleted file mode 100644 (file)
index 45ba2d9..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_1alt5_alt8.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T
diff --git a/tests/sav/base_upcast2_1alt5_alt9.sav b/tests/sav/base_upcast2_1alt5_alt9.sav
deleted file mode 100644 (file)
index 463ac74..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_upcast2_1alt5_alt9.nit:26,14--20: Warning: Expression is already a T since it is a C.
similarity index 100%
rename from tests/sav/clock.sav
rename to tests/sav/clock.res
diff --git a/tests/sav/error_class_generic_alt1.sav b/tests/sav/error_class_generic_alt1.sav
deleted file mode 100644 (file)
index f7e9a89..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_class_generic_alt1.nit:17,13--17: Redef error: Formal parameter arity missmatch; got 0, expected 1.
diff --git a/tests/sav/error_class_generic_alt3.sav b/tests/sav/error_class_generic_alt3.sav
deleted file mode 100644 (file)
index 95235a6..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_class_generic_alt3.nit:19,13--17: Redef error: Formal parameter arity missmatch; got 2, expected 1.
diff --git a/tests/sav/error_class_generic_alt4.sav b/tests/sav/error_class_generic_alt4.sav
deleted file mode 100644 (file)
index 393c1d3..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_class_generic_alt4.nit:20,7--11: Redef error: Array is an imported class. Add the redef keyword to refine it.
diff --git a/tests/sav/error_class_generic_alt5.sav b/tests/sav/error_class_generic_alt5.sav
deleted file mode 100644 (file)
index c5d9def..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_class_generic_alt5.nit:21,7--11: Redef error: Array is an imported class. Add the redef keyword to refine it.
diff --git a/tests/sav/error_class_generic_alt6.sav b/tests/sav/error_class_generic_alt6.sav
deleted file mode 100644 (file)
index eebfb9c..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_class_generic_alt6.nit:22,7--11: Redef error: Array is an imported class. Add the redef keyword to refine it.
diff --git a/tests/sav/error_defs_alt1.sav b/tests/sav/error_defs_alt1.sav
deleted file mode 100644 (file)
index 51c7c1a..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_defs_alt1.nit:19,7--12: Redef error: Object is an imported class. Add the redef keyword to refine it.
index af44ec4..2e24837 100644 (file)
@@ -1,2 +1 @@
 alt/error_defs_alt4.nit:29,5--7: Redef error: A::baz is an inherited property. To redefine it, add the redef keyword.
-alt/error_defs_alt4.nit:29,8--16: Redef error: error_defs_alt4#A#baz redefines error_defs_alt4#Object#baz with 1 parameter(s), 0 expected. Signature is error_defs_alt4#A#baz: Int
diff --git a/tests/sav/error_defs_alt4.sav b/tests/sav/error_defs_alt4.sav
deleted file mode 100644 (file)
index 2e24837..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_defs_alt4.nit:29,5--7: Redef error: A::baz is an inherited property. To redefine it, add the redef keyword.
index e09d475..e1277dc 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt1_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt2.nit:27,8--15: Redef error: error_redef2_1alt1_alt2#B#f1 redefines error_redef2_1alt1_alt2#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt2#B#f1
diff --git a/tests/sav/error_redef2_1alt1_alt2.sav b/tests/sav/error_redef2_1alt1_alt2.sav
deleted file mode 100644 (file)
index e1277dc..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt1_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 6b90218..5b5936d 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt1_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt3.nit:28,8--10: Redef error: error_redef2_1alt1_alt3#B#f1 redefines error_redef2_1alt1_alt3#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt3#B#f1
diff --git a/tests/sav/error_redef2_1alt1_alt3.sav b/tests/sav/error_redef2_1alt1_alt3.sav
deleted file mode 100644 (file)
index 5b5936d..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt1_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index c3e8921..9e54eb0 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt1_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt5.nit:30,8--15: Redef error: error_redef2_1alt1_alt5#B#f1 redefines error_redef2_1alt1_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt5#B#f1
diff --git a/tests/sav/error_redef2_1alt1_alt5.sav b/tests/sav/error_redef2_1alt1_alt5.sav
deleted file mode 100644 (file)
index 9e54eb0..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt1_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 11cb0e9..9babde1 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt1_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt6.nit:31,8--10: Redef error: error_redef2_1alt1_alt6#B#f1 redefines error_redef2_1alt1_alt6#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt6#B#f1
diff --git a/tests/sav/error_redef2_1alt1_alt6.sav b/tests/sav/error_redef2_1alt1_alt6.sav
deleted file mode 100644 (file)
index 9babde1..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt1_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index d51d974..3c1d84a 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt1_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt7.nit:32,10--12: Redef Error: f1 is a procedure, not a function.
diff --git a/tests/sav/error_redef2_1alt1_alt7.sav b/tests/sav/error_redef2_1alt1_alt7.sav
deleted file mode 100644 (file)
index 3c1d84a..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt1_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 6274b00..df3e30f 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt1_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt8.nit:33,8--20: Redef error: error_redef2_1alt1_alt8#B#f1 redefines error_redef2_1alt1_alt8#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt8#B#f1
diff --git a/tests/sav/error_redef2_1alt1_alt8.sav b/tests/sav/error_redef2_1alt1_alt8.sav
deleted file mode 100644 (file)
index df3e30f..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt1_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index b974e3c..03ee097 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt2_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt1.nit:26,12: Redef error: error_redef2_1alt2_alt1#B#f1 redefines error_redef2_1alt2_alt1#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt2_alt1#B#f1(i: Int)
diff --git a/tests/sav/error_redef2_1alt2_alt1.sav b/tests/sav/error_redef2_1alt2_alt1.sav
deleted file mode 100644 (file)
index 03ee097..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt2_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index e3630ff..f4129a2 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt2_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt4.nit:29,19: Redef error: error_redef2_1alt2_alt4#B#f1 redefines error_redef2_1alt2_alt4#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt2_alt4#B#f1(i: Int)
diff --git a/tests/sav/error_redef2_1alt2_alt4.sav b/tests/sav/error_redef2_1alt2_alt4.sav
deleted file mode 100644 (file)
index f4129a2..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt2_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index ed0a10a..383a842 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt2_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt7.nit:32,10--12: Redef error: error_redef2_1alt2_alt7#B#f1 redefines error_redef2_1alt2_alt7#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt2_alt7#B#f1(i: Int)
diff --git a/tests/sav/error_redef2_1alt2_alt7.sav b/tests/sav/error_redef2_1alt2_alt7.sav
deleted file mode 100644 (file)
index 383a842..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt2_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index bc93797..21f9e03 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt2_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt8.nit:33,18--20: Redef Error: f1 is a procedure, not a function.
diff --git a/tests/sav/error_redef2_1alt2_alt8.sav b/tests/sav/error_redef2_1alt2_alt8.sav
deleted file mode 100644 (file)
index 21f9e03..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt2_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index a9a1521..a4f042f 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt3_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt2.nit:27,8--15: Redef error: error_redef2_1alt3_alt2#B#f1 redefines error_redef2_1alt3_alt2#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt2#B#f1: Int
diff --git a/tests/sav/error_redef2_1alt3_alt2.sav b/tests/sav/error_redef2_1alt3_alt2.sav
deleted file mode 100644 (file)
index a4f042f..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt3_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 6f6735f..b3bf863 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt3_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt3.nit:28,8--10: Redef error: error_redef2_1alt3_alt3#B#f1 redefines error_redef2_1alt3_alt3#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt3#B#f1: Int
diff --git a/tests/sav/error_redef2_1alt3_alt3.sav b/tests/sav/error_redef2_1alt3_alt3.sav
deleted file mode 100644 (file)
index b3bf863..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt3_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 5251dd9..d77c465 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt3_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt5.nit:30,8--15: Redef error: error_redef2_1alt3_alt5#B#f1 redefines error_redef2_1alt3_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt5#B#f1: Int
diff --git a/tests/sav/error_redef2_1alt3_alt5.sav b/tests/sav/error_redef2_1alt3_alt5.sav
deleted file mode 100644 (file)
index d77c465..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt3_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 532daa0..d6f25ab 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt3_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt6.nit:31,8--10: Redef error: error_redef2_1alt3_alt6#B#f1 redefines error_redef2_1alt3_alt6#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt6#B#f1: Int
diff --git a/tests/sav/error_redef2_1alt3_alt6.sav b/tests/sav/error_redef2_1alt3_alt6.sav
deleted file mode 100644 (file)
index d6f25ab..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt3_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 1904318..703266e 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt3_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt8.nit:33,8--20: Redef error: error_redef2_1alt3_alt8#B#f1 redefines error_redef2_1alt3_alt8#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt8#B#f1: Int
diff --git a/tests/sav/error_redef2_1alt3_alt8.sav b/tests/sav/error_redef2_1alt3_alt8.sav
deleted file mode 100644 (file)
index 703266e..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt3_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index 6acfced..674efee 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt4_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt1.nit:26,12: Redef error: error_redef2_1alt4_alt1#B#f1 redefines error_redef2_1alt4_alt1#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt4_alt1#B#f1(i: Int): Int
diff --git a/tests/sav/error_redef2_1alt4_alt1.sav b/tests/sav/error_redef2_1alt4_alt1.sav
deleted file mode 100644 (file)
index 674efee..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt4_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index de44b04..efdaf6a 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt4_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt4.nit:29,19: Redef error: error_redef2_1alt4_alt4#B#f1 redefines error_redef2_1alt4_alt4#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt4_alt4#B#f1(i: Int): Int
diff --git a/tests/sav/error_redef2_1alt4_alt4.sav b/tests/sav/error_redef2_1alt4_alt4.sav
deleted file mode 100644 (file)
index efdaf6a..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt4_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
index c1c1971..e02052d 100644 (file)
@@ -1,2 +1 @@
 alt/error_redef2_1alt4_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt7.nit:32,10--12: Redef error: error_redef2_1alt4_alt7#B#f1 redefines error_redef2_1alt4_alt7#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt4_alt7#B#f1(i: Int): Int
diff --git a/tests/sav/error_redef2_1alt4_alt7.sav b/tests/sav/error_redef2_1alt4_alt7.sav
deleted file mode 100644 (file)
index e02052d..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_1alt4_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
diff --git a/tests/sav/fixme/base_for_formal.res b/tests/sav/fixme/base_for_formal.res
deleted file mode 100644 (file)
index 5a94fe5..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Cast failed (typing.nit:897)
diff --git a/tests/sav/fixme/base_super_linext.res b/tests/sav/fixme/base_super_linext.res
deleted file mode 100644 (file)
index 0c7ef39..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-A
-A
-B[A]
-AB
-C[A]
-AC
-D[C[A]]
-ACD
diff --git a/tests/sav/fixme/base_super_linext_raf.res b/tests/sav/fixme/base_super_linext_raf.res
deleted file mode 100644 (file)
index 91dcbf3..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-a[A]
-Aa
-b[B[A]]
-ABb
-c[C[A]]
-ACc
-d[D[C[A]]]
-ACDd
diff --git a/tests/sav/fixme/test_refinement.res b/tests/sav/fixme/test_refinement.res
deleted file mode 100644 (file)
index 1f1f1c1..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-print:4! = 24
-print:4! = 24
-12
-1233
-ab
-abc
diff --git a/tests/sav/fixme/test_super_explicit.res b/tests/sav/fixme/test_super_explicit.res
deleted file mode 100644 (file)
index d2e8c08..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-11
-1
-0
-2
-12
-1
-0
-2
-13
-1
-0
-2
similarity index 100%
rename from tests/sav/nit.sav
rename to tests/sav/nit.res
similarity index 100%
rename from tests/sav/nitc.sav
rename to tests/sav/nitc.res
similarity index 57%
rename from tests/sav/nitg-e/base_isa1.res
rename to tests/sav/nitc/base_isa1.res
index ba69aa1..48301ef 100644 (file)
@@ -1,3 +1,5 @@
 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/fixme/base_attr_init_val_raf_alt2.res b/tests/sav/nitc/fixme/base_attr_init_val_raf_alt2.res
deleted file mode 100644 (file)
index 40ae671..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Uninitialized attribute _i (base_attr_init_val1.nit:20)
diff --git a/tests/sav/nitc/fixme/base_isa_vt_gen2.res b/tests/sav/nitc/fixme/base_isa_vt_gen2.res
deleted file mode 100644 (file)
index 90dfb14..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Assert failed (base_isa_vt_gen2.nit:48)
diff --git a/tests/sav/nitc/fixme/test_paire.res b/tests/sav/nitc/fixme/test_paire.res
new file mode 100644 (file)
index 0000000..323ddf9
--- /dev/null
@@ -0,0 +1,2 @@
+test_paire.nit:45,7--10: Error: A class Pair is already defined at line 17.
+test_paire.nit:54,7--10: Error: A class Pair is already defined at line 17.
index 0a917d7..ee72676 100644 (file)
@@ -14,10 +14,12 @@ usage: nitdoc [options] file...
   -d, --dir                Directory where doc is generated
   --source                 What link for source (%f for filename, %l for first line, %L for last line)
   --sharedir               Directory containing the nitdoc files
-  --no-dot                 Do not generate graphes with graphiviz
+  --no-dot                 Do not generate graphes with graphviz
   --private                Generate the private API
   --custom-title           Title displayed in the top of the Overview page and as suffix of all page names
   --custom-footer-text     Text displayed as footer of all pages
   --custom-overview-text   Text displayed as introduction of Overview page before the modules list
   --custom-menu-items      Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)
-  --github-origin          The branch where edited commits will be pulled into (ex: user:repo:branch)
+  --github-upstream        The branch where edited commits will be pulled into (ex: user:repo:branch)
+  --github-base-sha1       The sha1 of the base commit used to create pull request
+  --github-gitdir          The git working directory used to resolve path name (ex: /home/me/myproject/)
diff --git a/tests/sav/nitdoc.sav b/tests/sav/nitdoc.sav
deleted file mode 100644 (file)
index ee72676..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-usage: nitdoc [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
-  -d, --dir                Directory where doc is generated
-  --source                 What link for source (%f for filename, %l for first line, %L for last line)
-  --sharedir               Directory containing the nitdoc files
-  --no-dot                 Do not generate graphes with graphviz
-  --private                Generate the private API
-  --custom-title           Title displayed in the top of the Overview page and as suffix of all page names
-  --custom-footer-text     Text displayed as footer of all pages
-  --custom-overview-text   Text displayed as introduction of Overview page before the modules list
-  --custom-menu-items      Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)
-  --github-upstream        The branch where edited commits will be pulled into (ex: user:repo:branch)
-  --github-base-sha1       The sha1 of the base commit used to create pull request
-  --github-gitdir          The git working directory used to resolve path name (ex: /home/me/myproject/)
index 8c50fdc..7c2f531 100644 (file)
@@ -1,52 +1,46 @@
-../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
-A.html
-B.html
-Bool.html
-Int.html
-Object.html
-Sys.html
-class_A.dot
-class_A.map
-class_A.png
-class_A.s.dot
-class_B.dot
-class_B.map
-class_B.png
-class_B.s.dot
-class_Bool.dot
-class_Bool.map
-class_Bool.png
-class_Bool.s.dot
-class_Int.dot
-class_Int.map
-class_Int.png
-class_Int.s.dot
-class_Object.dot
-class_Object.map
-class_Object.png
-class_Object.s.dot
-class_Sys.dot
-class_Sys.map
-class_Sys.png
-class_Sys.s.dot
+ZeroClipboard.swf
+class_module_0_Int.html
+class_module_0_Object.html
+class_module_0_Sys.html
+class_module_1_A.html
+class_module_1_B.html
 dep.dot
 dep.map
 dep.png
 dep.s.dot
-full-index.html
-help.html
+dep_A.dot
+dep_A.map
+dep_A.png
+dep_A.s.dot
+dep_B.dot
+dep_B.map
+dep_B.png
+dep_B.s.dot
+dep_Int.dot
+dep_Int.map
+dep_Int.png
+dep_Int.s.dot
+dep_Object.dot
+dep_Object.map
+dep_Object.png
+dep_Object.s.dot
+dep_Sys.dot
+dep_Sys.map
+dep_Sys.png
+dep_Sys.s.dot
+dep_module_0.dot
+dep_module_0.map
+dep_module_0.png
+dep_module_0.s.dot
+dep_module_1.dot
+dep_module_1.map
+dep_module_1.png
+dep_module_1.s.dot
 index.html
-module_0.dot
-module_0.html
-module_0.map
-module_0.png
-module_0.s.dot
-module_1.dot
-module_1.html
-module_1.map
-module_1.png
-module_1.s.dot
+module_module_0.html
+module_module_1.html
 quicksearch-list.js
 resources/
 scripts/
+search.html
 styles/
diff --git a/tests/sav/nitdoc_args1.sav b/tests/sav/nitdoc_args1.sav
deleted file mode 100644 (file)
index 7c2f531..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-ZeroClipboard.swf
-class_module_0_Int.html
-class_module_0_Object.html
-class_module_0_Sys.html
-class_module_1_A.html
-class_module_1_B.html
-dep.dot
-dep.map
-dep.png
-dep.s.dot
-dep_A.dot
-dep_A.map
-dep_A.png
-dep_A.s.dot
-dep_B.dot
-dep_B.map
-dep_B.png
-dep_B.s.dot
-dep_Int.dot
-dep_Int.map
-dep_Int.png
-dep_Int.s.dot
-dep_Object.dot
-dep_Object.map
-dep_Object.png
-dep_Object.s.dot
-dep_Sys.dot
-dep_Sys.map
-dep_Sys.png
-dep_Sys.s.dot
-dep_module_0.dot
-dep_module_0.map
-dep_module_0.png
-dep_module_0.s.dot
-dep_module_1.dot
-dep_module_1.map
-dep_module_1.png
-dep_module_1.s.dot
-index.html
-module_module_0.html
-module_module_1.html
-quicksearch-list.js
-resources/
-scripts/
-search.html
-styles/
diff --git a/tests/sav/nitg-e/base_isa_vt_gen1.res b/tests/sav/nitg-e/base_isa_vt_gen1.res
deleted file mode 100644 (file)
index 6aa8394..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
diff --git a/tests/sav/nitg-e/base_super_linext_raf.res b/tests/sav/nitg-e/base_super_linext_raf.res
deleted file mode 100644 (file)
index 4c73f6d..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
diff --git a/tests/sav/nitg-g/base_isa1.res b/tests/sav/nitg-g/base_isa1.res
deleted file mode 100644 (file)
index ba69aa1..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-true
diff --git a/tests/sav/nitg-g/base_isa_vt_gen1.res b/tests/sav/nitg-g/base_isa_vt_gen1.res
deleted file mode 100644 (file)
index 6aa8394..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
diff --git a/tests/sav/nitg-g/base_no_object.res b/tests/sav/nitg-g/base_no_object.res
new file mode 100644 (file)
index 0000000..d00491f
--- /dev/null
@@ -0,0 +1 @@
+1
diff --git a/tests/sav/nitg-g/base_super_linext_raf.res b/tests/sav/nitg-g/base_super_linext_raf.res
deleted file mode 100644 (file)
index 4c73f6d..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
diff --git a/tests/sav/nitg-s/base_isa1.res b/tests/sav/nitg-s/base_isa1.res
deleted file mode 100644 (file)
index ba69aa1..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-true
diff --git a/tests/sav/nitg-s/base_isa_vt_gen1.res b/tests/sav/nitg-s/base_isa_vt_gen1.res
deleted file mode 100644 (file)
index 6aa8394..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
diff --git a/tests/sav/nitg-s/base_super_linext_raf.res b/tests/sav/nitg-s/base_super_linext_raf.res
deleted file mode 100644 (file)
index 4c73f6d..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
similarity index 80%
rename from tests/sav/base_attr_nullable_alt2.sav
rename to tests/sav/niti/base_attr_nullable_alt2.res
index bd9cbf0..d238261 100644 (file)
@@ -1,2 +1,2 @@
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:35)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:39)
 1
diff --git a/tests/sav/niti/base_isa1.res b/tests/sav/niti/base_isa1.res
deleted file mode 100644 (file)
index ba69aa1..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-true
diff --git a/tests/sav/niti/base_isa_vt_gen1.res b/tests/sav/niti/base_isa_vt_gen1.res
deleted file mode 100644 (file)
index 6aa8394..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
diff --git a/tests/sav/niti/base_no_object.res b/tests/sav/niti/base_no_object.res
new file mode 100644 (file)
index 0000000..d00491f
--- /dev/null
@@ -0,0 +1 @@
+1
diff --git a/tests/sav/niti/base_super_linext_raf.res b/tests/sav/niti/base_super_linext_raf.res
deleted file mode 100644 (file)
index 4c73f6d..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
diff --git a/tests/sav/niti/error_needed_method_alt4.res b/tests/sav/niti/error_needed_method_alt4.res
deleted file mode 100644 (file)
index 1cac7c5..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt4.nit:49,10--14: Fatal Error: String must have a property named from_cstring.
diff --git a/tests/sav/niti/test_attr_easy.res b/tests/sav/niti/test_attr_easy.res
deleted file mode 100644 (file)
index f88313a..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-test_attr_easy.nit:19,5--14: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,18--27: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,31--39: Warning: Expression is already a Int.
-test_attr_easy.nit:19,43--53: Warning: Expression is already a Float.
-test_attr_easy.nit:20,5--16: Warning: Expression is already a String.
-test_attr_easy.nit:20,20--26: Warning: Expression is already a B.
-test_attr_easy.nit:20,44--62: Warning: Expression is already a HashMap[Int,B].
-true false 12345 1.234500 asdf true
-an instance of B
-true true true true
-true true true true
index b5c008c..636e0e2 100644 (file)
@@ -1,4 +1,3 @@
-../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
 usage: nits [options] file...
   -W, --warn              Show warnings
   -q, --quiet             Do not show warnings
diff --git a/tests/sav/nits.sav b/tests/sav/nits.sav
deleted file mode 100644 (file)
index 636e0e2..0000000
+++ /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]
index 1b2af61..7862a1e 100644 (file)
@@ -5,7 +5,7 @@ test_attr_easy.nit:19,43--53: Warning: Expression is already a Float.
 test_attr_easy.nit:20,5--16: Warning: Expression is already a String.
 test_attr_easy.nit:20,20--26: Warning: Expression is already a B.
 test_attr_easy.nit:20,44--62: Warning: Expression is already a HashMap[Int, B].
-true false 12345 1.234 asdf true
+true false 12345 1.235 asdf true
 an instance of B
 true true true true
 true true true true
diff --git a/tests/sav/test_attr_easy.sav b/tests/sav/test_attr_easy.sav
deleted file mode 100644 (file)
index 7862a1e..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-test_attr_easy.nit:19,5--14: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,18--27: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,31--39: Warning: Expression is already a Int.
-test_attr_easy.nit:19,43--53: Warning: Expression is already a Float.
-test_attr_easy.nit:20,5--16: Warning: Expression is already a String.
-test_attr_easy.nit:20,20--26: Warning: Expression is already a B.
-test_attr_easy.nit:20,44--62: Warning: Expression is already a HashMap[Int, B].
-true false 12345 1.235 asdf true
-an instance of B
-true true true true
-true true true true
similarity index 100%
rename from tests/sav/test_eq.sav
rename to tests/sav/test_eq.res
similarity index 100%
rename from tests/sav/test_id.sav
rename to tests/sav/test_id.res
similarity index 100%
rename from tests/sav/test_io.sav
rename to tests/sav/test_io.res
index 1170ad4..24304a1 100644 (file)
@@ -1,3 +1,6 @@
+test_isa.nit:25,7--19: Warning: Expression is already a Object.
+test_isa.nit:34,7--19: Warning: Expression is already a Object.
+test_isa.nit:43,7--28: Warning: Expression is already a nullable Object.
 int:
 true
 true
@@ -19,6 +22,3 @@ true
 true
 true
 true
-test_isa.nit:25,7--19: Warning: Expression is already a Object.
-test_isa.nit:34,7--19: Warning: Expression is already a Object.
-test_isa.nit:43,7--28: Warning: Expression is already a nullable Object.
diff --git a/tests/sav/test_isa.sav b/tests/sav/test_isa.sav
deleted file mode 100644 (file)
index 24304a1..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-test_isa.nit:25,7--19: Warning: Expression is already a Object.
-test_isa.nit:34,7--19: Warning: Expression is already a Object.
-test_isa.nit:43,7--28: Warning: Expression is already a nullable Object.
-int:
-true
-true
-true
-true
-true
-true
-string:
-true
-true
-true
-true
-true
-true
-null:
-true
-true
-true
-true
-true
-true
diff --git a/tests/sav/test_ni_global_not_called_but_referred.sav b/tests/sav/test_ni_global_not_called_but_referred.sav
deleted file mode 100644 (file)
index e69de29..0000000
diff --git a/tests/sav/test_pipeline.sav b/tests/sav/test_pipeline.sav
deleted file mode 100644 (file)
index 1aa7ee7..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-../lib/pipeline.nit:50,10--35: Warning: Expression is already a Collection[Object] since it is a Collection[E].
-../lib/pipeline.nit:67,10--35: Warning: Expression is already a Collection[Object] since it is a Collection[E].
-../lib/pipeline.nit:165,17--36: Warning: Expression is already a Object since it is a E.
-../lib/pipeline.nit:167,40--61: Warning: Expression is already a Object since it is a E.
-1111223
-123
-12132
-1007
-1020101010302
-232
-12
-9991000
-9991000
-12
-3
index 9e02712..b3dd2f3 100644 (file)
@@ -1,6 +1,6 @@
+test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
 1
 1
 1
 1
 1
-test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
diff --git a/tests/sav/test_return.sav b/tests/sav/test_return.sav
deleted file mode 100644 (file)
index b3dd2f3..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
-1
-1
-1
-1
-1
index 1f51d97..0f6d456 100644 (file)
@@ -1,7 +1,7 @@
-5
 warn_par.nit:2,8--14: Warning: superfluous parentheses.
 warn_par.nit:4,5--10: Warning: superfluous parentheses.
 warn_par.nit:5,8--13: Warning: superfluous parentheses.
 warn_par.nit:6,11--15: Warning: superfluous parentheses.
 warn_par.nit:7,9--11: Warning: superfluous parentheses.
 warn_par.nit:10,13--14: Warning: superfluous parentheses.
+5
diff --git a/tests/sav/warn_par.sav b/tests/sav/warn_par.sav
deleted file mode 100644 (file)
index 0f6d456..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-warn_par.nit:2,8--14: Warning: superfluous parentheses.
-warn_par.nit:4,5--10: Warning: superfluous parentheses.
-warn_par.nit:5,8--13: Warning: superfluous parentheses.
-warn_par.nit:6,11--15: Warning: superfluous parentheses.
-warn_par.nit:7,9--11: Warning: superfluous parentheses.
-warn_par.nit:10,13--14: Warning: superfluous parentheses.
-5