From 1ae40bbfa4e379821c4b06c9e9ccacd01bfc5383 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 23 Dec 2008 23:05:00 -0500 Subject: [PATCH] Move test *.sav files to a sav/ subdirectory. --- tests/sav/README | 1 + tests/{ => sav}/base_abort.sav | 0 tests/{ => sav}/base_array.sav | 0 tests/{ => sav}/base_array_alt1.sav | 0 tests/{ => sav}/base_attr.sav | 0 tests/{ => sav}/base_attr_def.sav | 0 tests/{ => sav}/base_attr_init_val1.sav | 0 tests/{ => sav}/base_attr_init_val2.sav | 0 tests/{ => sav}/base_classid.sav | 0 tests/{ => sav}/base_combined_assignment.sav | 0 tests/{ => sav}/base_combined_assignment_alt1.sav | 0 tests/{ => sav}/base_compile.sav | 0 tests/{ => sav}/base_control_flow.sav | 0 tests/{ => sav}/base_control_flow2.sav | 0 tests/{ => sav}/base_empty.sav | 0 tests/{ => sav}/base_empty_comments.sav | 0 tests/{ => sav}/base_empty_module.sav | 0 tests/{ => sav}/base_eq.sav | 0 tests/{ => sav}/base_eq_int.sav | 0 tests/{ => sav}/base_eq_int2.sav | 0 tests/{ => sav}/base_gen.sav | 0 tests/{ => sav}/base_gen_alt1.sav | 0 tests/{ => sav}/base_gen_f.sav | 0 tests/{ => sav}/base_gen_int.sav | 0 tests/{ => sav}/base_gen_int_alt1.sav | 0 tests/{ => sav}/base_if_expr.sav | 0 tests/{ => sav}/base_if_expr_alt1.sav | 0 tests/{ => sav}/base_init_inh.sav | 0 tests/{ => sav}/base_init_linext.sav | 0 tests/{ => sav}/base_init_linext2.sav | 0 tests/{ => sav}/base_init_linext2_alt1.sav | 0 tests/{ => sav}/base_init_linext2_alt2.sav | 0 tests/{ => sav}/base_init_linext2_alt3.sav | 0 tests/{ => sav}/base_init_linext2_alt4.sav | 0 tests/{ => sav}/base_init_linext2_alt5.sav | 0 tests/{ => sav}/base_init_linext_alt0.sav | 0 tests/{ => sav}/base_init_linext_alt1.sav | 0 tests/{ => sav}/base_init_linext_alt10.sav | 0 tests/{ => sav}/base_init_linext_alt11.sav | 0 tests/{ => sav}/base_init_linext_alt12.sav | 0 tests/{ => sav}/base_init_linext_alt13.sav | 0 tests/{ => sav}/base_init_linext_alt14.sav | 0 tests/{ => sav}/base_init_linext_alt15.sav | 0 tests/{ => sav}/base_init_linext_alt2.sav | 0 tests/{ => sav}/base_init_linext_alt3.sav | 0 tests/{ => sav}/base_init_linext_alt4.sav | 0 tests/{ => sav}/base_init_linext_alt5.sav | 0 tests/{ => sav}/base_init_linext_alt6.sav | 0 tests/{ => sav}/base_init_linext_alt7.sav | 0 tests/{ => sav}/base_init_linext_alt8.sav | 0 tests/{ => sav}/base_init_linext_alt9.sav | 0 tests/{ => sav}/base_init_linext_raf.sav | 0 tests/{ => sav}/base_init_raf.sav | 0 tests/{ => sav}/base_inline_statement.sav | 0 tests/{ => sav}/base_inline_statement_alt1.sav | 0 tests/{ => sav}/base_inline_statement_alt2.sav | 0 tests/{ => sav}/base_inline_statement_alt3.sav | 0 tests/{ => sav}/base_int.sav | 0 tests/{ => sav}/base_isa.sav | 0 tests/{ => sav}/base_isa_cast.sav | 0 tests/{ => sav}/base_isa_cast_alt1.sav | 0 tests/{ => sav}/base_isa_cast_alt2.sav | 0 tests/{ => sav}/base_isa_cast_alt3.sav | 0 tests/{ => sav}/base_isa_cast_alt4.sav | 0 tests/{ => sav}/base_isa_cast_alt5.sav | 0 tests/{ => sav}/base_isa_cast_alt6.sav | 0 tests/{ => sav}/base_isa_nil.sav | 0 tests/{ => sav}/base_once.sav | 0 tests/{ => sav}/base_primitive.sav | 0 tests/{ => sav}/base_prot.sav | 0 tests/{ => sav}/base_prot2.sav | 0 tests/{ => sav}/base_prot2_alt1.sav | 0 tests/{ => sav}/base_prot2_alt2.sav | 0 tests/{ => sav}/base_prot2_alt3.sav | 0 tests/{ => sav}/base_prot2_alt4.sav | 0 tests/{ => sav}/base_prot2_alt5.sav | 0 tests/{ => sav}/base_prot3.sav | 0 tests/{ => sav}/base_sig_inh.sav | 0 tests/{ => sav}/base_simple.sav | 0 tests/{ => sav}/base_simple2.sav | 0 tests/{ => sav}/base_super_linext.sav | 0 tests/{ => sav}/base_super_linext_raf.sav | 0 tests/{ => sav}/base_virtual_type.sav | 0 tests/{ => sav}/base_virtual_type2.sav | 0 tests/{ => sav}/base_virtual_type2_alt1.sav | 0 tests/{ => sav}/base_virtual_type3.sav | 0 tests/{ => sav}/base_virtual_type3_alt1.sav | 0 tests/{ => sav}/base_virtual_type4.sav | 0 tests/{ => sav}/base_virtual_type4_alt1.sav | 0 tests/{ => sav}/base_virtual_type5.sav | 0 tests/{ => sav}/base_virtual_type5_alt1.sav | 0 tests/{ => sav}/base_virtual_type5_alt2.sav | 0 tests/{ => sav}/base_virtual_type6.sav | 0 tests/{ => sav}/base_virtual_type7.sav | 0 tests/{ => sav}/base_virtual_type_alt1.sav | 0 tests/{ => sav}/base_virtual_type_alt2.sav | 0 tests/{ => sav}/base_virtual_type_alt3.sav | 0 tests/{ => sav}/bench_421.sav | 0 tests/{ => sav}/bench_complex_sort.sav | 0 tests/{ => sav}/bench_fib.sav | 0 tests/{ => sav}/bench_netsim.sav | 0 tests/{ => sav}/bench_nsieve_bool.sav | 0 tests/{ => sav}/bench_prime.sav | 0 tests/{ => sav}/bench_random_n_sort.sav | 0 tests/{ => sav}/bench_send.sav | 0 tests/{ => sav}/bench_send2.sav | 0 tests/{ => sav}/bench_string_append.sav | 0 tests/{ => sav}/bench_string_super.sav | 0 tests/{ => sav}/bench_string_tos.sav | 0 tests/{ => sav}/bench_svn105_papillon.log.sav | 0 tests/{ => sav}/bench_svn107_bird.log.sav | 0 tests/{ => sav}/bench_svn219_bird.log.sav | 0 tests/{ => sav}/bench_tak.sav | 0 tests/{ => sav}/error_array_ambig.sav | 0 tests/{ => sav}/error_attr_2def.sav | 0 tests/{ => sav}/error_attr_assign.sav | 0 tests/{ => sav}/error_attr_unk.sav | 0 tests/{ => sav}/error_cons_arity.sav | 0 tests/{ => sav}/error_cons_arity2.sav | 0 tests/{ => sav}/error_constraint.sav | 0 tests/{ => sav}/error_decl_type_var.sav | 0 tests/{ => sav}/error_defs.sav | 0 tests/{ => sav}/error_defs_alt1.sav | 0 tests/{ => sav}/error_defs_alt2.sav | 0 tests/{ => sav}/error_defs_alt3.sav | 0 tests/{ => sav}/error_defs_alt4.sav | 0 tests/{ => sav}/error_defs_alt5.sav | 0 tests/{ => sav}/error_defs_alt6.sav | 0 tests/{ => sav}/error_defs_alt7.sav | 0 tests/{ => sav}/error_defs_alt8.sav | 0 tests/{ => sav}/error_file_access.sav | 0 tests/{ => sav}/error_for_coll.sav | 0 tests/{ => sav}/error_formal.sav | 0 tests/{ => sav}/error_fun_ret.sav | 0 tests/{ => sav}/error_fun_ret2.sav | 0 tests/{ => sav}/error_fun_ret3.sav | 0 tests/{ => sav}/error_fun_ret4.sav | 0 tests/{ => sav}/error_fun_ret5.sav | 0 tests/{ => sav}/error_gen_f_inh_clash.sav | 0 tests/{ => sav}/error_if_bool.sav | 0 tests/{ => sav}/error_inh_clash.sav | 0 tests/{ => sav}/error_inh_loop.sav | 0 tests/{ => sav}/error_kern_attr_any.sav | 0 tests/{ => sav}/error_kern_attr_int.sav | 0 tests/{ => sav}/error_left_bool.sav | 0 tests/{ => sav}/error_loop_bool_until.sav | 0 tests/{ => sav}/error_loop_bool_while.sav | 0 tests/{ => sav}/error_meth_2def.sav | 0 tests/{ => sav}/error_meth_2def2.sav | 0 tests/{ => sav}/error_meth_create.sav | 0 tests/{ => sav}/error_meth_unk1.sav | 0 tests/{ => sav}/error_meth_unk2.sav | 0 tests/{ => sav}/error_mod_unk.sav | 0 tests/{ => sav}/error_prop_loc.sav | 0 tests/{ => sav}/error_ref_attr.sav | 0 tests/{ => sav}/error_ref_fun.sav | 0 tests/{ => sav}/error_ref_proc.sav | 0 tests/{ => sav}/error_ref_ret.sav | 0 tests/{ => sav}/error_req_loop1.sav | 0 tests/{ => sav}/error_req_loop2.sav | 0 tests/{ => sav}/error_ret_fun.sav | 0 tests/{ => sav}/error_ret_proc.sav | 0 tests/{ => sav}/error_ret_type.sav | 0 tests/{ => sav}/error_right_bool.sav | 0 tests/{ => sav}/error_spe_attr.sav | 0 tests/{ => sav}/error_spe_fun.sav | 0 tests/{ => sav}/error_spe_param.sav | 0 tests/{ => sav}/error_spe_param2.sav | 0 tests/{ => sav}/error_spe_proc.sav | 0 tests/{ => sav}/error_spe_ret.sav | 0 tests/{ => sav}/error_star_type.sav | 0 tests/{ => sav}/error_super_none.sav | 0 tests/{ => sav}/error_unk_class.sav | 0 tests/{ => sav}/error_var_args.sav | 0 tests/{ => sav}/error_var_args2.sav | 0 tests/{ => sav}/error_var_assign.sav | 0 tests/{ => sav}/example_421.sav | 0 tests/{ => sav}/example_beer.sav | 0 tests/{ => sav}/example_hanoi.sav | 0 tests/{ => sav}/example_objet.sav | 0 tests/{ => sav}/example_point.sav | 0 tests/{ => sav}/example_procedural_string.sav | 0 tests/{ => sav}/example_simple.sav | 0 tests/{ => sav}/example_sorter.sav | 0 tests/{ => sav}/example_sorts.sav | 0 tests/{ => sav}/example_string.sav | 0 tests/{ => sav}/example_time.sav | 0 tests/{ => sav}/example_variable.sav | 0 tests/{ => sav}/example_wc.sav | 0 tests/{ => sav}/fibonacci.sav | 0 tests/{ => sav}/galerie.sav | 0 tests/{ => sav}/gccbug_attribute_access.sav | 0 tests/{ => sav}/hello_world.sav | 0 tests/{ => sav}/module_0.sav | 0 tests/{ => sav}/module_1.sav | 0 tests/{ => sav}/module_simple.sav | 0 tests/{ => sav}/print_arguments.sav | 0 tests/{ => sav}/procedural_array.sav | 0 tests/{ => sav}/shootout_ackermann.sav | 0 tests/{ => sav}/shootout_binarytrees.sav | 0 tests/{ => sav}/shootout_mandelbrot.sav | Bin 5011 -> 5011 bytes tests/{ => sav}/shootout_nsieve.sav | 0 tests/{ => sav}/shootout_startup.sav | 0 tests/{ => sav}/simple.sav | 0 tests/{ => sav}/test_accessor.sav | 0 tests/{ => sav}/test_args.sav | 0 tests/{ => sav}/test_array.sav | 0 tests/{ => sav}/test_array_int.sav | 0 tests/{ => sav}/test_atoi.sav | 0 tests/{ => sav}/test_attr.sav | 0 tests/{ => sav}/test_attr_long.sav | 0 tests/{ => sav}/test_blocks.sav | 0 tests/{ => sav}/test_boxing.sav | 0 tests/{ => sav}/test_break.sav | 0 tests/{ => sav}/test_calls.sav | 0 tests/{ => sav}/test_coll.sav | 0 tests/{ => sav}/test_coll_array.sav | 0 tests/{ => sav}/test_combined_assignment.sav | 0 tests/{ => sav}/test_combined_assignment_alt1.sav | 0 tests/{ => sav}/test_cond.sav | 0 tests/{ => sav}/test_create.sav | 0 tests/{ => sav}/test_create_more.sav | 0 tests/{ => sav}/test_eq.sav | 0 tests/{ => sav}/test_eq2.sav | 0 tests/{ => sav}/test_equal.sav | 0 tests/{ => sav}/test_equal_nil.sav | 0 tests/{ => sav}/test_exec.sav | 0 tests/{ => sav}/test_extern.sav | 0 tests/{ => sav}/test_fdstream.sav | 0 tests/{ => sav}/test_file_read.sav | 0 tests/{ => sav}/test_file_write.sav | 0 tests/{ => sav}/test_float.sav | 0 tests/{ => sav}/test_for.sav | 0 tests/{ => sav}/test_gen.sav | 0 tests/{ => sav}/test_gen_inh.sav | 0 tests/{ => sav}/test_genplus.sav | 0 tests/{ => sav}/test_gets.sav | 0 tests/{ => sav}/test_hash.sav | 0 tests/{ => sav}/test_id.sav | 0 tests/{ => sav}/test_inheritance.sav | 0 tests/{ => sav}/test_int_to_s.sav | 0 tests/{ => sav}/test_io.sav | 0 tests/{ => sav}/test_isa.sav | 0 tests/{ => sav}/test_kernel.sav | 0 tests/{ => sav}/test_let.sav | 0 tests/{ => sav}/test_list.sav | 0 tests/{ => sav}/test_map.sav | 0 tests/{ => sav}/test_math.sav | 0 tests/{ => sav}/test_mem.sav | 0 tests/{ => sav}/test_meta.sav | 0 tests/{ => sav}/test_multiconstraint.sav | 0 tests/{ => sav}/test_multiconstraint_inh.sav | 0 tests/{ => sav}/test_multiconstraint_ref.sav | 0 tests/{ => sav}/test_multiconstraint_ref2.sav | 0 tests/{ => sav}/test_nil.sav | 0 tests/{ => sav}/test_obj.sav | 0 tests/{ => sav}/test_operator_brackets.sav | 0 tests/{ => sav}/test_operators.sav | 0 tests/{ => sav}/test_partial_order.sav | 0 tests/{ => sav}/test_print.sav | 0 tests/{ => sav}/test_range.sav | 0 tests/{ => sav}/test_refinement.sav | 0 tests/{ => sav}/test_return.sav | 0 tests/{ => sav}/test_star.sav | 0 tests/{ => sav}/test_stdio.sav | 0 tests/{ => sav}/test_string.sav | 0 tests/{ => sav}/test_string_long.sav | 0 tests/{ => sav}/test_string_search.sav | 0 tests/{ => sav}/test_string_unicode.sav | 0 tests/{ => sav}/test_substring.sav | 0 tests/{ => sav}/test_super.sav | 0 tests/{ => sav}/test_super_gen.sav | 0 tests/{ => sav}/test_super_gen_raf.sav | 0 tests/{ => sav}/test_super_param.sav | 0 tests/{ => sav}/test_super_param_raf.sav | 0 tests/{ => sav}/test_super_param_raf2.sav | 0 tests/{ => sav}/test_superstring.sav | 0 tests/{ => sav}/test_symbol.sav | 0 tests/{ => sav}/test_undead.sav | 0 tests/{ => sav}/test_variance_attr.sav | 0 tests/{ => sav}/test_variance_param.sav | 0 tests/{ => sav}/test_variance_ret.sav | 0 tests/store_save.sh | 14 +++++++------- tests/tests.sh | 10 +++++----- 284 files changed, 13 insertions(+), 12 deletions(-) create mode 100644 tests/sav/README rename tests/{ => sav}/base_abort.sav (100%) rename tests/{ => sav}/base_array.sav (100%) rename tests/{ => sav}/base_array_alt1.sav (100%) rename tests/{ => sav}/base_attr.sav (100%) rename tests/{ => sav}/base_attr_def.sav (100%) rename tests/{ => sav}/base_attr_init_val1.sav (100%) rename tests/{ => sav}/base_attr_init_val2.sav (100%) rename tests/{ => sav}/base_classid.sav (100%) rename tests/{ => sav}/base_combined_assignment.sav (100%) rename tests/{ => sav}/base_combined_assignment_alt1.sav (100%) rename tests/{ => sav}/base_compile.sav (100%) rename tests/{ => sav}/base_control_flow.sav (100%) rename tests/{ => sav}/base_control_flow2.sav (100%) rename tests/{ => sav}/base_empty.sav (100%) rename tests/{ => sav}/base_empty_comments.sav (100%) rename tests/{ => sav}/base_empty_module.sav (100%) rename tests/{ => sav}/base_eq.sav (100%) rename tests/{ => sav}/base_eq_int.sav (100%) rename tests/{ => sav}/base_eq_int2.sav (100%) rename tests/{ => sav}/base_gen.sav (100%) rename tests/{ => sav}/base_gen_alt1.sav (100%) rename tests/{ => sav}/base_gen_f.sav (100%) rename tests/{ => sav}/base_gen_int.sav (100%) rename tests/{ => sav}/base_gen_int_alt1.sav (100%) rename tests/{ => sav}/base_if_expr.sav (100%) rename tests/{ => sav}/base_if_expr_alt1.sav (100%) rename tests/{ => sav}/base_init_inh.sav (100%) rename tests/{ => sav}/base_init_linext.sav (100%) rename tests/{ => sav}/base_init_linext2.sav (100%) rename tests/{ => sav}/base_init_linext2_alt1.sav (100%) rename tests/{ => sav}/base_init_linext2_alt2.sav (100%) rename tests/{ => sav}/base_init_linext2_alt3.sav (100%) rename tests/{ => sav}/base_init_linext2_alt4.sav (100%) rename tests/{ => sav}/base_init_linext2_alt5.sav (100%) rename tests/{ => sav}/base_init_linext_alt0.sav (100%) rename tests/{ => sav}/base_init_linext_alt1.sav (100%) rename tests/{ => sav}/base_init_linext_alt10.sav (100%) rename tests/{ => sav}/base_init_linext_alt11.sav (100%) rename tests/{ => sav}/base_init_linext_alt12.sav (100%) rename tests/{ => sav}/base_init_linext_alt13.sav (100%) rename tests/{ => sav}/base_init_linext_alt14.sav (100%) rename tests/{ => sav}/base_init_linext_alt15.sav (100%) rename tests/{ => sav}/base_init_linext_alt2.sav (100%) rename tests/{ => sav}/base_init_linext_alt3.sav (100%) rename tests/{ => sav}/base_init_linext_alt4.sav (100%) rename tests/{ => sav}/base_init_linext_alt5.sav (100%) rename tests/{ => sav}/base_init_linext_alt6.sav (100%) rename tests/{ => sav}/base_init_linext_alt7.sav (100%) rename tests/{ => sav}/base_init_linext_alt8.sav (100%) rename tests/{ => sav}/base_init_linext_alt9.sav (100%) rename tests/{ => sav}/base_init_linext_raf.sav (100%) rename tests/{ => sav}/base_init_raf.sav (100%) rename tests/{ => sav}/base_inline_statement.sav (100%) rename tests/{ => sav}/base_inline_statement_alt1.sav (100%) rename tests/{ => sav}/base_inline_statement_alt2.sav (100%) rename tests/{ => sav}/base_inline_statement_alt3.sav (100%) rename tests/{ => sav}/base_int.sav (100%) rename tests/{ => sav}/base_isa.sav (100%) rename tests/{ => sav}/base_isa_cast.sav (100%) rename tests/{ => sav}/base_isa_cast_alt1.sav (100%) rename tests/{ => sav}/base_isa_cast_alt2.sav (100%) rename tests/{ => sav}/base_isa_cast_alt3.sav (100%) rename tests/{ => sav}/base_isa_cast_alt4.sav (100%) rename tests/{ => sav}/base_isa_cast_alt5.sav (100%) rename tests/{ => sav}/base_isa_cast_alt6.sav (100%) rename tests/{ => sav}/base_isa_nil.sav (100%) rename tests/{ => sav}/base_once.sav (100%) rename tests/{ => sav}/base_primitive.sav (100%) rename tests/{ => sav}/base_prot.sav (100%) rename tests/{ => sav}/base_prot2.sav (100%) rename tests/{ => sav}/base_prot2_alt1.sav (100%) rename tests/{ => sav}/base_prot2_alt2.sav (100%) rename tests/{ => sav}/base_prot2_alt3.sav (100%) rename tests/{ => sav}/base_prot2_alt4.sav (100%) rename tests/{ => sav}/base_prot2_alt5.sav (100%) rename tests/{ => sav}/base_prot3.sav (100%) rename tests/{ => sav}/base_sig_inh.sav (100%) rename tests/{ => sav}/base_simple.sav (100%) rename tests/{ => sav}/base_simple2.sav (100%) rename tests/{ => sav}/base_super_linext.sav (100%) rename tests/{ => sav}/base_super_linext_raf.sav (100%) rename tests/{ => sav}/base_virtual_type.sav (100%) rename tests/{ => sav}/base_virtual_type2.sav (100%) rename tests/{ => sav}/base_virtual_type2_alt1.sav (100%) rename tests/{ => sav}/base_virtual_type3.sav (100%) rename tests/{ => sav}/base_virtual_type3_alt1.sav (100%) rename tests/{ => sav}/base_virtual_type4.sav (100%) rename tests/{ => sav}/base_virtual_type4_alt1.sav (100%) rename tests/{ => sav}/base_virtual_type5.sav (100%) rename tests/{ => sav}/base_virtual_type5_alt1.sav (100%) rename tests/{ => sav}/base_virtual_type5_alt2.sav (100%) rename tests/{ => sav}/base_virtual_type6.sav (100%) rename tests/{ => sav}/base_virtual_type7.sav (100%) rename tests/{ => sav}/base_virtual_type_alt1.sav (100%) rename tests/{ => sav}/base_virtual_type_alt2.sav (100%) rename tests/{ => sav}/base_virtual_type_alt3.sav (100%) rename tests/{ => sav}/bench_421.sav (100%) rename tests/{ => sav}/bench_complex_sort.sav (100%) rename tests/{ => sav}/bench_fib.sav (100%) rename tests/{ => sav}/bench_netsim.sav (100%) rename tests/{ => sav}/bench_nsieve_bool.sav (100%) rename tests/{ => sav}/bench_prime.sav (100%) rename tests/{ => sav}/bench_random_n_sort.sav (100%) rename tests/{ => sav}/bench_send.sav (100%) rename tests/{ => sav}/bench_send2.sav (100%) rename tests/{ => sav}/bench_string_append.sav (100%) rename tests/{ => sav}/bench_string_super.sav (100%) rename tests/{ => sav}/bench_string_tos.sav (100%) rename tests/{ => sav}/bench_svn105_papillon.log.sav (100%) rename tests/{ => sav}/bench_svn107_bird.log.sav (100%) rename tests/{ => sav}/bench_svn219_bird.log.sav (100%) rename tests/{ => sav}/bench_tak.sav (100%) rename tests/{ => sav}/error_array_ambig.sav (100%) rename tests/{ => sav}/error_attr_2def.sav (100%) rename tests/{ => sav}/error_attr_assign.sav (100%) rename tests/{ => sav}/error_attr_unk.sav (100%) rename tests/{ => sav}/error_cons_arity.sav (100%) rename tests/{ => sav}/error_cons_arity2.sav (100%) rename tests/{ => sav}/error_constraint.sav (100%) rename tests/{ => sav}/error_decl_type_var.sav (100%) rename tests/{ => sav}/error_defs.sav (100%) rename tests/{ => sav}/error_defs_alt1.sav (100%) rename tests/{ => sav}/error_defs_alt2.sav (100%) rename tests/{ => sav}/error_defs_alt3.sav (100%) rename tests/{ => sav}/error_defs_alt4.sav (100%) rename tests/{ => sav}/error_defs_alt5.sav (100%) rename tests/{ => sav}/error_defs_alt6.sav (100%) rename tests/{ => sav}/error_defs_alt7.sav (100%) rename tests/{ => sav}/error_defs_alt8.sav (100%) rename tests/{ => sav}/error_file_access.sav (100%) rename tests/{ => sav}/error_for_coll.sav (100%) rename tests/{ => sav}/error_formal.sav (100%) rename tests/{ => sav}/error_fun_ret.sav (100%) rename tests/{ => sav}/error_fun_ret2.sav (100%) rename tests/{ => sav}/error_fun_ret3.sav (100%) rename tests/{ => sav}/error_fun_ret4.sav (100%) rename tests/{ => sav}/error_fun_ret5.sav (100%) rename tests/{ => sav}/error_gen_f_inh_clash.sav (100%) rename tests/{ => sav}/error_if_bool.sav (100%) rename tests/{ => sav}/error_inh_clash.sav (100%) rename tests/{ => sav}/error_inh_loop.sav (100%) rename tests/{ => sav}/error_kern_attr_any.sav (100%) rename tests/{ => sav}/error_kern_attr_int.sav (100%) rename tests/{ => sav}/error_left_bool.sav (100%) rename tests/{ => sav}/error_loop_bool_until.sav (100%) rename tests/{ => sav}/error_loop_bool_while.sav (100%) rename tests/{ => sav}/error_meth_2def.sav (100%) rename tests/{ => sav}/error_meth_2def2.sav (100%) rename tests/{ => sav}/error_meth_create.sav (100%) rename tests/{ => sav}/error_meth_unk1.sav (100%) rename tests/{ => sav}/error_meth_unk2.sav (100%) rename tests/{ => sav}/error_mod_unk.sav (100%) rename tests/{ => sav}/error_prop_loc.sav (100%) rename tests/{ => sav}/error_ref_attr.sav (100%) rename tests/{ => sav}/error_ref_fun.sav (100%) rename tests/{ => sav}/error_ref_proc.sav (100%) rename tests/{ => sav}/error_ref_ret.sav (100%) rename tests/{ => sav}/error_req_loop1.sav (100%) rename tests/{ => sav}/error_req_loop2.sav (100%) rename tests/{ => sav}/error_ret_fun.sav (100%) rename tests/{ => sav}/error_ret_proc.sav (100%) rename tests/{ => sav}/error_ret_type.sav (100%) rename tests/{ => sav}/error_right_bool.sav (100%) rename tests/{ => sav}/error_spe_attr.sav (100%) rename tests/{ => sav}/error_spe_fun.sav (100%) rename tests/{ => sav}/error_spe_param.sav (100%) rename tests/{ => sav}/error_spe_param2.sav (100%) rename tests/{ => sav}/error_spe_proc.sav (100%) rename tests/{ => sav}/error_spe_ret.sav (100%) rename tests/{ => sav}/error_star_type.sav (100%) rename tests/{ => sav}/error_super_none.sav (100%) rename tests/{ => sav}/error_unk_class.sav (100%) rename tests/{ => sav}/error_var_args.sav (100%) rename tests/{ => sav}/error_var_args2.sav (100%) rename tests/{ => sav}/error_var_assign.sav (100%) rename tests/{ => sav}/example_421.sav (100%) rename tests/{ => sav}/example_beer.sav (100%) rename tests/{ => sav}/example_hanoi.sav (100%) rename tests/{ => sav}/example_objet.sav (100%) rename tests/{ => sav}/example_point.sav (100%) rename tests/{ => sav}/example_procedural_string.sav (100%) rename tests/{ => sav}/example_simple.sav (100%) rename tests/{ => sav}/example_sorter.sav (100%) rename tests/{ => sav}/example_sorts.sav (100%) rename tests/{ => sav}/example_string.sav (100%) rename tests/{ => sav}/example_time.sav (100%) rename tests/{ => sav}/example_variable.sav (100%) rename tests/{ => sav}/example_wc.sav (100%) rename tests/{ => sav}/fibonacci.sav (100%) rename tests/{ => sav}/galerie.sav (100%) rename tests/{ => sav}/gccbug_attribute_access.sav (100%) rename tests/{ => sav}/hello_world.sav (100%) rename tests/{ => sav}/module_0.sav (100%) rename tests/{ => sav}/module_1.sav (100%) rename tests/{ => sav}/module_simple.sav (100%) rename tests/{ => sav}/print_arguments.sav (100%) rename tests/{ => sav}/procedural_array.sav (100%) rename tests/{ => sav}/shootout_ackermann.sav (100%) rename tests/{ => sav}/shootout_binarytrees.sav (100%) rename tests/{ => sav}/shootout_mandelbrot.sav (100%) rename tests/{ => sav}/shootout_nsieve.sav (100%) rename tests/{ => sav}/shootout_startup.sav (100%) rename tests/{ => sav}/simple.sav (100%) rename tests/{ => sav}/test_accessor.sav (100%) rename tests/{ => sav}/test_args.sav (100%) rename tests/{ => sav}/test_array.sav (100%) rename tests/{ => sav}/test_array_int.sav (100%) rename tests/{ => sav}/test_atoi.sav (100%) rename tests/{ => sav}/test_attr.sav (100%) rename tests/{ => sav}/test_attr_long.sav (100%) rename tests/{ => sav}/test_blocks.sav (100%) rename tests/{ => sav}/test_boxing.sav (100%) rename tests/{ => sav}/test_break.sav (100%) rename tests/{ => sav}/test_calls.sav (100%) rename tests/{ => sav}/test_coll.sav (100%) rename tests/{ => sav}/test_coll_array.sav (100%) rename tests/{ => sav}/test_combined_assignment.sav (100%) rename tests/{ => sav}/test_combined_assignment_alt1.sav (100%) rename tests/{ => sav}/test_cond.sav (100%) rename tests/{ => sav}/test_create.sav (100%) rename tests/{ => sav}/test_create_more.sav (100%) rename tests/{ => sav}/test_eq.sav (100%) rename tests/{ => sav}/test_eq2.sav (100%) rename tests/{ => sav}/test_equal.sav (100%) rename tests/{ => sav}/test_equal_nil.sav (100%) rename tests/{ => sav}/test_exec.sav (100%) rename tests/{ => sav}/test_extern.sav (100%) rename tests/{ => sav}/test_fdstream.sav (100%) rename tests/{ => sav}/test_file_read.sav (100%) rename tests/{ => sav}/test_file_write.sav (100%) rename tests/{ => sav}/test_float.sav (100%) rename tests/{ => sav}/test_for.sav (100%) rename tests/{ => sav}/test_gen.sav (100%) rename tests/{ => sav}/test_gen_inh.sav (100%) rename tests/{ => sav}/test_genplus.sav (100%) rename tests/{ => sav}/test_gets.sav (100%) rename tests/{ => sav}/test_hash.sav (100%) rename tests/{ => sav}/test_id.sav (100%) rename tests/{ => sav}/test_inheritance.sav (100%) rename tests/{ => sav}/test_int_to_s.sav (100%) rename tests/{ => sav}/test_io.sav (100%) rename tests/{ => sav}/test_isa.sav (100%) rename tests/{ => sav}/test_kernel.sav (100%) rename tests/{ => sav}/test_let.sav (100%) rename tests/{ => sav}/test_list.sav (100%) rename tests/{ => sav}/test_map.sav (100%) rename tests/{ => sav}/test_math.sav (100%) rename tests/{ => sav}/test_mem.sav (100%) rename tests/{ => sav}/test_meta.sav (100%) rename tests/{ => sav}/test_multiconstraint.sav (100%) rename tests/{ => sav}/test_multiconstraint_inh.sav (100%) rename tests/{ => sav}/test_multiconstraint_ref.sav (100%) rename tests/{ => sav}/test_multiconstraint_ref2.sav (100%) rename tests/{ => sav}/test_nil.sav (100%) rename tests/{ => sav}/test_obj.sav (100%) rename tests/{ => sav}/test_operator_brackets.sav (100%) rename tests/{ => sav}/test_operators.sav (100%) rename tests/{ => sav}/test_partial_order.sav (100%) rename tests/{ => sav}/test_print.sav (100%) rename tests/{ => sav}/test_range.sav (100%) rename tests/{ => sav}/test_refinement.sav (100%) rename tests/{ => sav}/test_return.sav (100%) rename tests/{ => sav}/test_star.sav (100%) rename tests/{ => sav}/test_stdio.sav (100%) rename tests/{ => sav}/test_string.sav (100%) rename tests/{ => sav}/test_string_long.sav (100%) rename tests/{ => sav}/test_string_search.sav (100%) rename tests/{ => sav}/test_string_unicode.sav (100%) rename tests/{ => sav}/test_substring.sav (100%) rename tests/{ => sav}/test_super.sav (100%) rename tests/{ => sav}/test_super_gen.sav (100%) rename tests/{ => sav}/test_super_gen_raf.sav (100%) rename tests/{ => sav}/test_super_param.sav (100%) rename tests/{ => sav}/test_super_param_raf.sav (100%) rename tests/{ => sav}/test_super_param_raf2.sav (100%) rename tests/{ => sav}/test_superstring.sav (100%) rename tests/{ => sav}/test_symbol.sav (100%) rename tests/{ => sav}/test_undead.sav (100%) rename tests/{ => sav}/test_variance_attr.sav (100%) rename tests/{ => sav}/test_variance_param.sav (100%) rename tests/{ => sav}/test_variance_ret.sav (100%) diff --git a/tests/sav/README b/tests/sav/README new file mode 100644 index 0000000..2d40429 --- /dev/null +++ b/tests/sav/README @@ -0,0 +1 @@ +This directory contains the expected results for the tests diff --git a/tests/base_abort.sav b/tests/sav/base_abort.sav similarity index 100% rename from tests/base_abort.sav rename to tests/sav/base_abort.sav diff --git a/tests/base_array.sav b/tests/sav/base_array.sav similarity index 100% rename from tests/base_array.sav rename to tests/sav/base_array.sav diff --git a/tests/base_array_alt1.sav b/tests/sav/base_array_alt1.sav similarity index 100% rename from tests/base_array_alt1.sav rename to tests/sav/base_array_alt1.sav diff --git a/tests/base_attr.sav b/tests/sav/base_attr.sav similarity index 100% rename from tests/base_attr.sav rename to tests/sav/base_attr.sav diff --git a/tests/base_attr_def.sav b/tests/sav/base_attr_def.sav similarity index 100% rename from tests/base_attr_def.sav rename to tests/sav/base_attr_def.sav diff --git a/tests/base_attr_init_val1.sav b/tests/sav/base_attr_init_val1.sav similarity index 100% rename from tests/base_attr_init_val1.sav rename to tests/sav/base_attr_init_val1.sav diff --git a/tests/base_attr_init_val2.sav b/tests/sav/base_attr_init_val2.sav similarity index 100% rename from tests/base_attr_init_val2.sav rename to tests/sav/base_attr_init_val2.sav diff --git a/tests/base_classid.sav b/tests/sav/base_classid.sav similarity index 100% rename from tests/base_classid.sav rename to tests/sav/base_classid.sav diff --git a/tests/base_combined_assignment.sav b/tests/sav/base_combined_assignment.sav similarity index 100% rename from tests/base_combined_assignment.sav rename to tests/sav/base_combined_assignment.sav diff --git a/tests/base_combined_assignment_alt1.sav b/tests/sav/base_combined_assignment_alt1.sav similarity index 100% rename from tests/base_combined_assignment_alt1.sav rename to tests/sav/base_combined_assignment_alt1.sav diff --git a/tests/base_compile.sav b/tests/sav/base_compile.sav similarity index 100% rename from tests/base_compile.sav rename to tests/sav/base_compile.sav diff --git a/tests/base_control_flow.sav b/tests/sav/base_control_flow.sav similarity index 100% rename from tests/base_control_flow.sav rename to tests/sav/base_control_flow.sav diff --git a/tests/base_control_flow2.sav b/tests/sav/base_control_flow2.sav similarity index 100% rename from tests/base_control_flow2.sav rename to tests/sav/base_control_flow2.sav diff --git a/tests/base_empty.sav b/tests/sav/base_empty.sav similarity index 100% rename from tests/base_empty.sav rename to tests/sav/base_empty.sav diff --git a/tests/base_empty_comments.sav b/tests/sav/base_empty_comments.sav similarity index 100% rename from tests/base_empty_comments.sav rename to tests/sav/base_empty_comments.sav diff --git a/tests/base_empty_module.sav b/tests/sav/base_empty_module.sav similarity index 100% rename from tests/base_empty_module.sav rename to tests/sav/base_empty_module.sav diff --git a/tests/base_eq.sav b/tests/sav/base_eq.sav similarity index 100% rename from tests/base_eq.sav rename to tests/sav/base_eq.sav diff --git a/tests/base_eq_int.sav b/tests/sav/base_eq_int.sav similarity index 100% rename from tests/base_eq_int.sav rename to tests/sav/base_eq_int.sav diff --git a/tests/base_eq_int2.sav b/tests/sav/base_eq_int2.sav similarity index 100% rename from tests/base_eq_int2.sav rename to tests/sav/base_eq_int2.sav diff --git a/tests/base_gen.sav b/tests/sav/base_gen.sav similarity index 100% rename from tests/base_gen.sav rename to tests/sav/base_gen.sav diff --git a/tests/base_gen_alt1.sav b/tests/sav/base_gen_alt1.sav similarity index 100% rename from tests/base_gen_alt1.sav rename to tests/sav/base_gen_alt1.sav diff --git a/tests/base_gen_f.sav b/tests/sav/base_gen_f.sav similarity index 100% rename from tests/base_gen_f.sav rename to tests/sav/base_gen_f.sav diff --git a/tests/base_gen_int.sav b/tests/sav/base_gen_int.sav similarity index 100% rename from tests/base_gen_int.sav rename to tests/sav/base_gen_int.sav diff --git a/tests/base_gen_int_alt1.sav b/tests/sav/base_gen_int_alt1.sav similarity index 100% rename from tests/base_gen_int_alt1.sav rename to tests/sav/base_gen_int_alt1.sav diff --git a/tests/base_if_expr.sav b/tests/sav/base_if_expr.sav similarity index 100% rename from tests/base_if_expr.sav rename to tests/sav/base_if_expr.sav diff --git a/tests/base_if_expr_alt1.sav b/tests/sav/base_if_expr_alt1.sav similarity index 100% rename from tests/base_if_expr_alt1.sav rename to tests/sav/base_if_expr_alt1.sav diff --git a/tests/base_init_inh.sav b/tests/sav/base_init_inh.sav similarity index 100% rename from tests/base_init_inh.sav rename to tests/sav/base_init_inh.sav diff --git a/tests/base_init_linext.sav b/tests/sav/base_init_linext.sav similarity index 100% rename from tests/base_init_linext.sav rename to tests/sav/base_init_linext.sav diff --git a/tests/base_init_linext2.sav b/tests/sav/base_init_linext2.sav similarity index 100% rename from tests/base_init_linext2.sav rename to tests/sav/base_init_linext2.sav diff --git a/tests/base_init_linext2_alt1.sav b/tests/sav/base_init_linext2_alt1.sav similarity index 100% rename from tests/base_init_linext2_alt1.sav rename to tests/sav/base_init_linext2_alt1.sav diff --git a/tests/base_init_linext2_alt2.sav b/tests/sav/base_init_linext2_alt2.sav similarity index 100% rename from tests/base_init_linext2_alt2.sav rename to tests/sav/base_init_linext2_alt2.sav diff --git a/tests/base_init_linext2_alt3.sav b/tests/sav/base_init_linext2_alt3.sav similarity index 100% rename from tests/base_init_linext2_alt3.sav rename to tests/sav/base_init_linext2_alt3.sav diff --git a/tests/base_init_linext2_alt4.sav b/tests/sav/base_init_linext2_alt4.sav similarity index 100% rename from tests/base_init_linext2_alt4.sav rename to tests/sav/base_init_linext2_alt4.sav diff --git a/tests/base_init_linext2_alt5.sav b/tests/sav/base_init_linext2_alt5.sav similarity index 100% rename from tests/base_init_linext2_alt5.sav rename to tests/sav/base_init_linext2_alt5.sav diff --git a/tests/base_init_linext_alt0.sav b/tests/sav/base_init_linext_alt0.sav similarity index 100% rename from tests/base_init_linext_alt0.sav rename to tests/sav/base_init_linext_alt0.sav diff --git a/tests/base_init_linext_alt1.sav b/tests/sav/base_init_linext_alt1.sav similarity index 100% rename from tests/base_init_linext_alt1.sav rename to tests/sav/base_init_linext_alt1.sav diff --git a/tests/base_init_linext_alt10.sav b/tests/sav/base_init_linext_alt10.sav similarity index 100% rename from tests/base_init_linext_alt10.sav rename to tests/sav/base_init_linext_alt10.sav diff --git a/tests/base_init_linext_alt11.sav b/tests/sav/base_init_linext_alt11.sav similarity index 100% rename from tests/base_init_linext_alt11.sav rename to tests/sav/base_init_linext_alt11.sav diff --git a/tests/base_init_linext_alt12.sav b/tests/sav/base_init_linext_alt12.sav similarity index 100% rename from tests/base_init_linext_alt12.sav rename to tests/sav/base_init_linext_alt12.sav diff --git a/tests/base_init_linext_alt13.sav b/tests/sav/base_init_linext_alt13.sav similarity index 100% rename from tests/base_init_linext_alt13.sav rename to tests/sav/base_init_linext_alt13.sav diff --git a/tests/base_init_linext_alt14.sav b/tests/sav/base_init_linext_alt14.sav similarity index 100% rename from tests/base_init_linext_alt14.sav rename to tests/sav/base_init_linext_alt14.sav diff --git a/tests/base_init_linext_alt15.sav b/tests/sav/base_init_linext_alt15.sav similarity index 100% rename from tests/base_init_linext_alt15.sav rename to tests/sav/base_init_linext_alt15.sav diff --git a/tests/base_init_linext_alt2.sav b/tests/sav/base_init_linext_alt2.sav similarity index 100% rename from tests/base_init_linext_alt2.sav rename to tests/sav/base_init_linext_alt2.sav diff --git a/tests/base_init_linext_alt3.sav b/tests/sav/base_init_linext_alt3.sav similarity index 100% rename from tests/base_init_linext_alt3.sav rename to tests/sav/base_init_linext_alt3.sav diff --git a/tests/base_init_linext_alt4.sav b/tests/sav/base_init_linext_alt4.sav similarity index 100% rename from tests/base_init_linext_alt4.sav rename to tests/sav/base_init_linext_alt4.sav diff --git a/tests/base_init_linext_alt5.sav b/tests/sav/base_init_linext_alt5.sav similarity index 100% rename from tests/base_init_linext_alt5.sav rename to tests/sav/base_init_linext_alt5.sav diff --git a/tests/base_init_linext_alt6.sav b/tests/sav/base_init_linext_alt6.sav similarity index 100% rename from tests/base_init_linext_alt6.sav rename to tests/sav/base_init_linext_alt6.sav diff --git a/tests/base_init_linext_alt7.sav b/tests/sav/base_init_linext_alt7.sav similarity index 100% rename from tests/base_init_linext_alt7.sav rename to tests/sav/base_init_linext_alt7.sav diff --git a/tests/base_init_linext_alt8.sav b/tests/sav/base_init_linext_alt8.sav similarity index 100% rename from tests/base_init_linext_alt8.sav rename to tests/sav/base_init_linext_alt8.sav diff --git a/tests/base_init_linext_alt9.sav b/tests/sav/base_init_linext_alt9.sav similarity index 100% rename from tests/base_init_linext_alt9.sav rename to tests/sav/base_init_linext_alt9.sav diff --git a/tests/base_init_linext_raf.sav b/tests/sav/base_init_linext_raf.sav similarity index 100% rename from tests/base_init_linext_raf.sav rename to tests/sav/base_init_linext_raf.sav diff --git a/tests/base_init_raf.sav b/tests/sav/base_init_raf.sav similarity index 100% rename from tests/base_init_raf.sav rename to tests/sav/base_init_raf.sav diff --git a/tests/base_inline_statement.sav b/tests/sav/base_inline_statement.sav similarity index 100% rename from tests/base_inline_statement.sav rename to tests/sav/base_inline_statement.sav diff --git a/tests/base_inline_statement_alt1.sav b/tests/sav/base_inline_statement_alt1.sav similarity index 100% rename from tests/base_inline_statement_alt1.sav rename to tests/sav/base_inline_statement_alt1.sav diff --git a/tests/base_inline_statement_alt2.sav b/tests/sav/base_inline_statement_alt2.sav similarity index 100% rename from tests/base_inline_statement_alt2.sav rename to tests/sav/base_inline_statement_alt2.sav diff --git a/tests/base_inline_statement_alt3.sav b/tests/sav/base_inline_statement_alt3.sav similarity index 100% rename from tests/base_inline_statement_alt3.sav rename to tests/sav/base_inline_statement_alt3.sav diff --git a/tests/base_int.sav b/tests/sav/base_int.sav similarity index 100% rename from tests/base_int.sav rename to tests/sav/base_int.sav diff --git a/tests/base_isa.sav b/tests/sav/base_isa.sav similarity index 100% rename from tests/base_isa.sav rename to tests/sav/base_isa.sav diff --git a/tests/base_isa_cast.sav b/tests/sav/base_isa_cast.sav similarity index 100% rename from tests/base_isa_cast.sav rename to tests/sav/base_isa_cast.sav diff --git a/tests/base_isa_cast_alt1.sav b/tests/sav/base_isa_cast_alt1.sav similarity index 100% rename from tests/base_isa_cast_alt1.sav rename to tests/sav/base_isa_cast_alt1.sav diff --git a/tests/base_isa_cast_alt2.sav b/tests/sav/base_isa_cast_alt2.sav similarity index 100% rename from tests/base_isa_cast_alt2.sav rename to tests/sav/base_isa_cast_alt2.sav diff --git a/tests/base_isa_cast_alt3.sav b/tests/sav/base_isa_cast_alt3.sav similarity index 100% rename from tests/base_isa_cast_alt3.sav rename to tests/sav/base_isa_cast_alt3.sav diff --git a/tests/base_isa_cast_alt4.sav b/tests/sav/base_isa_cast_alt4.sav similarity index 100% rename from tests/base_isa_cast_alt4.sav rename to tests/sav/base_isa_cast_alt4.sav diff --git a/tests/base_isa_cast_alt5.sav b/tests/sav/base_isa_cast_alt5.sav similarity index 100% rename from tests/base_isa_cast_alt5.sav rename to tests/sav/base_isa_cast_alt5.sav diff --git a/tests/base_isa_cast_alt6.sav b/tests/sav/base_isa_cast_alt6.sav similarity index 100% rename from tests/base_isa_cast_alt6.sav rename to tests/sav/base_isa_cast_alt6.sav diff --git a/tests/base_isa_nil.sav b/tests/sav/base_isa_nil.sav similarity index 100% rename from tests/base_isa_nil.sav rename to tests/sav/base_isa_nil.sav diff --git a/tests/base_once.sav b/tests/sav/base_once.sav similarity index 100% rename from tests/base_once.sav rename to tests/sav/base_once.sav diff --git a/tests/base_primitive.sav b/tests/sav/base_primitive.sav similarity index 100% rename from tests/base_primitive.sav rename to tests/sav/base_primitive.sav diff --git a/tests/base_prot.sav b/tests/sav/base_prot.sav similarity index 100% rename from tests/base_prot.sav rename to tests/sav/base_prot.sav diff --git a/tests/base_prot2.sav b/tests/sav/base_prot2.sav similarity index 100% rename from tests/base_prot2.sav rename to tests/sav/base_prot2.sav diff --git a/tests/base_prot2_alt1.sav b/tests/sav/base_prot2_alt1.sav similarity index 100% rename from tests/base_prot2_alt1.sav rename to tests/sav/base_prot2_alt1.sav diff --git a/tests/base_prot2_alt2.sav b/tests/sav/base_prot2_alt2.sav similarity index 100% rename from tests/base_prot2_alt2.sav rename to tests/sav/base_prot2_alt2.sav diff --git a/tests/base_prot2_alt3.sav b/tests/sav/base_prot2_alt3.sav similarity index 100% rename from tests/base_prot2_alt3.sav rename to tests/sav/base_prot2_alt3.sav diff --git a/tests/base_prot2_alt4.sav b/tests/sav/base_prot2_alt4.sav similarity index 100% rename from tests/base_prot2_alt4.sav rename to tests/sav/base_prot2_alt4.sav diff --git a/tests/base_prot2_alt5.sav b/tests/sav/base_prot2_alt5.sav similarity index 100% rename from tests/base_prot2_alt5.sav rename to tests/sav/base_prot2_alt5.sav diff --git a/tests/base_prot3.sav b/tests/sav/base_prot3.sav similarity index 100% rename from tests/base_prot3.sav rename to tests/sav/base_prot3.sav diff --git a/tests/base_sig_inh.sav b/tests/sav/base_sig_inh.sav similarity index 100% rename from tests/base_sig_inh.sav rename to tests/sav/base_sig_inh.sav diff --git a/tests/base_simple.sav b/tests/sav/base_simple.sav similarity index 100% rename from tests/base_simple.sav rename to tests/sav/base_simple.sav diff --git a/tests/base_simple2.sav b/tests/sav/base_simple2.sav similarity index 100% rename from tests/base_simple2.sav rename to tests/sav/base_simple2.sav diff --git a/tests/base_super_linext.sav b/tests/sav/base_super_linext.sav similarity index 100% rename from tests/base_super_linext.sav rename to tests/sav/base_super_linext.sav diff --git a/tests/base_super_linext_raf.sav b/tests/sav/base_super_linext_raf.sav similarity index 100% rename from tests/base_super_linext_raf.sav rename to tests/sav/base_super_linext_raf.sav diff --git a/tests/base_virtual_type.sav b/tests/sav/base_virtual_type.sav similarity index 100% rename from tests/base_virtual_type.sav rename to tests/sav/base_virtual_type.sav diff --git a/tests/base_virtual_type2.sav b/tests/sav/base_virtual_type2.sav similarity index 100% rename from tests/base_virtual_type2.sav rename to tests/sav/base_virtual_type2.sav diff --git a/tests/base_virtual_type2_alt1.sav b/tests/sav/base_virtual_type2_alt1.sav similarity index 100% rename from tests/base_virtual_type2_alt1.sav rename to tests/sav/base_virtual_type2_alt1.sav diff --git a/tests/base_virtual_type3.sav b/tests/sav/base_virtual_type3.sav similarity index 100% rename from tests/base_virtual_type3.sav rename to tests/sav/base_virtual_type3.sav diff --git a/tests/base_virtual_type3_alt1.sav b/tests/sav/base_virtual_type3_alt1.sav similarity index 100% rename from tests/base_virtual_type3_alt1.sav rename to tests/sav/base_virtual_type3_alt1.sav diff --git a/tests/base_virtual_type4.sav b/tests/sav/base_virtual_type4.sav similarity index 100% rename from tests/base_virtual_type4.sav rename to tests/sav/base_virtual_type4.sav diff --git a/tests/base_virtual_type4_alt1.sav b/tests/sav/base_virtual_type4_alt1.sav similarity index 100% rename from tests/base_virtual_type4_alt1.sav rename to tests/sav/base_virtual_type4_alt1.sav diff --git a/tests/base_virtual_type5.sav b/tests/sav/base_virtual_type5.sav similarity index 100% rename from tests/base_virtual_type5.sav rename to tests/sav/base_virtual_type5.sav diff --git a/tests/base_virtual_type5_alt1.sav b/tests/sav/base_virtual_type5_alt1.sav similarity index 100% rename from tests/base_virtual_type5_alt1.sav rename to tests/sav/base_virtual_type5_alt1.sav diff --git a/tests/base_virtual_type5_alt2.sav b/tests/sav/base_virtual_type5_alt2.sav similarity index 100% rename from tests/base_virtual_type5_alt2.sav rename to tests/sav/base_virtual_type5_alt2.sav diff --git a/tests/base_virtual_type6.sav b/tests/sav/base_virtual_type6.sav similarity index 100% rename from tests/base_virtual_type6.sav rename to tests/sav/base_virtual_type6.sav diff --git a/tests/base_virtual_type7.sav b/tests/sav/base_virtual_type7.sav similarity index 100% rename from tests/base_virtual_type7.sav rename to tests/sav/base_virtual_type7.sav diff --git a/tests/base_virtual_type_alt1.sav b/tests/sav/base_virtual_type_alt1.sav similarity index 100% rename from tests/base_virtual_type_alt1.sav rename to tests/sav/base_virtual_type_alt1.sav diff --git a/tests/base_virtual_type_alt2.sav b/tests/sav/base_virtual_type_alt2.sav similarity index 100% rename from tests/base_virtual_type_alt2.sav rename to tests/sav/base_virtual_type_alt2.sav diff --git a/tests/base_virtual_type_alt3.sav b/tests/sav/base_virtual_type_alt3.sav similarity index 100% rename from tests/base_virtual_type_alt3.sav rename to tests/sav/base_virtual_type_alt3.sav diff --git a/tests/bench_421.sav b/tests/sav/bench_421.sav similarity index 100% rename from tests/bench_421.sav rename to tests/sav/bench_421.sav diff --git a/tests/bench_complex_sort.sav b/tests/sav/bench_complex_sort.sav similarity index 100% rename from tests/bench_complex_sort.sav rename to tests/sav/bench_complex_sort.sav diff --git a/tests/bench_fib.sav b/tests/sav/bench_fib.sav similarity index 100% rename from tests/bench_fib.sav rename to tests/sav/bench_fib.sav diff --git a/tests/bench_netsim.sav b/tests/sav/bench_netsim.sav similarity index 100% rename from tests/bench_netsim.sav rename to tests/sav/bench_netsim.sav diff --git a/tests/bench_nsieve_bool.sav b/tests/sav/bench_nsieve_bool.sav similarity index 100% rename from tests/bench_nsieve_bool.sav rename to tests/sav/bench_nsieve_bool.sav diff --git a/tests/bench_prime.sav b/tests/sav/bench_prime.sav similarity index 100% rename from tests/bench_prime.sav rename to tests/sav/bench_prime.sav diff --git a/tests/bench_random_n_sort.sav b/tests/sav/bench_random_n_sort.sav similarity index 100% rename from tests/bench_random_n_sort.sav rename to tests/sav/bench_random_n_sort.sav diff --git a/tests/bench_send.sav b/tests/sav/bench_send.sav similarity index 100% rename from tests/bench_send.sav rename to tests/sav/bench_send.sav diff --git a/tests/bench_send2.sav b/tests/sav/bench_send2.sav similarity index 100% rename from tests/bench_send2.sav rename to tests/sav/bench_send2.sav diff --git a/tests/bench_string_append.sav b/tests/sav/bench_string_append.sav similarity index 100% rename from tests/bench_string_append.sav rename to tests/sav/bench_string_append.sav diff --git a/tests/bench_string_super.sav b/tests/sav/bench_string_super.sav similarity index 100% rename from tests/bench_string_super.sav rename to tests/sav/bench_string_super.sav diff --git a/tests/bench_string_tos.sav b/tests/sav/bench_string_tos.sav similarity index 100% rename from tests/bench_string_tos.sav rename to tests/sav/bench_string_tos.sav diff --git a/tests/bench_svn105_papillon.log.sav b/tests/sav/bench_svn105_papillon.log.sav similarity index 100% rename from tests/bench_svn105_papillon.log.sav rename to tests/sav/bench_svn105_papillon.log.sav diff --git a/tests/bench_svn107_bird.log.sav b/tests/sav/bench_svn107_bird.log.sav similarity index 100% rename from tests/bench_svn107_bird.log.sav rename to tests/sav/bench_svn107_bird.log.sav diff --git a/tests/bench_svn219_bird.log.sav b/tests/sav/bench_svn219_bird.log.sav similarity index 100% rename from tests/bench_svn219_bird.log.sav rename to tests/sav/bench_svn219_bird.log.sav diff --git a/tests/bench_tak.sav b/tests/sav/bench_tak.sav similarity index 100% rename from tests/bench_tak.sav rename to tests/sav/bench_tak.sav diff --git a/tests/error_array_ambig.sav b/tests/sav/error_array_ambig.sav similarity index 100% rename from tests/error_array_ambig.sav rename to tests/sav/error_array_ambig.sav diff --git a/tests/error_attr_2def.sav b/tests/sav/error_attr_2def.sav similarity index 100% rename from tests/error_attr_2def.sav rename to tests/sav/error_attr_2def.sav diff --git a/tests/error_attr_assign.sav b/tests/sav/error_attr_assign.sav similarity index 100% rename from tests/error_attr_assign.sav rename to tests/sav/error_attr_assign.sav diff --git a/tests/error_attr_unk.sav b/tests/sav/error_attr_unk.sav similarity index 100% rename from tests/error_attr_unk.sav rename to tests/sav/error_attr_unk.sav diff --git a/tests/error_cons_arity.sav b/tests/sav/error_cons_arity.sav similarity index 100% rename from tests/error_cons_arity.sav rename to tests/sav/error_cons_arity.sav diff --git a/tests/error_cons_arity2.sav b/tests/sav/error_cons_arity2.sav similarity index 100% rename from tests/error_cons_arity2.sav rename to tests/sav/error_cons_arity2.sav diff --git a/tests/error_constraint.sav b/tests/sav/error_constraint.sav similarity index 100% rename from tests/error_constraint.sav rename to tests/sav/error_constraint.sav diff --git a/tests/error_decl_type_var.sav b/tests/sav/error_decl_type_var.sav similarity index 100% rename from tests/error_decl_type_var.sav rename to tests/sav/error_decl_type_var.sav diff --git a/tests/error_defs.sav b/tests/sav/error_defs.sav similarity index 100% rename from tests/error_defs.sav rename to tests/sav/error_defs.sav diff --git a/tests/error_defs_alt1.sav b/tests/sav/error_defs_alt1.sav similarity index 100% rename from tests/error_defs_alt1.sav rename to tests/sav/error_defs_alt1.sav diff --git a/tests/error_defs_alt2.sav b/tests/sav/error_defs_alt2.sav similarity index 100% rename from tests/error_defs_alt2.sav rename to tests/sav/error_defs_alt2.sav diff --git a/tests/error_defs_alt3.sav b/tests/sav/error_defs_alt3.sav similarity index 100% rename from tests/error_defs_alt3.sav rename to tests/sav/error_defs_alt3.sav diff --git a/tests/error_defs_alt4.sav b/tests/sav/error_defs_alt4.sav similarity index 100% rename from tests/error_defs_alt4.sav rename to tests/sav/error_defs_alt4.sav diff --git a/tests/error_defs_alt5.sav b/tests/sav/error_defs_alt5.sav similarity index 100% rename from tests/error_defs_alt5.sav rename to tests/sav/error_defs_alt5.sav diff --git a/tests/error_defs_alt6.sav b/tests/sav/error_defs_alt6.sav similarity index 100% rename from tests/error_defs_alt6.sav rename to tests/sav/error_defs_alt6.sav diff --git a/tests/error_defs_alt7.sav b/tests/sav/error_defs_alt7.sav similarity index 100% rename from tests/error_defs_alt7.sav rename to tests/sav/error_defs_alt7.sav diff --git a/tests/error_defs_alt8.sav b/tests/sav/error_defs_alt8.sav similarity index 100% rename from tests/error_defs_alt8.sav rename to tests/sav/error_defs_alt8.sav diff --git a/tests/error_file_access.sav b/tests/sav/error_file_access.sav similarity index 100% rename from tests/error_file_access.sav rename to tests/sav/error_file_access.sav diff --git a/tests/error_for_coll.sav b/tests/sav/error_for_coll.sav similarity index 100% rename from tests/error_for_coll.sav rename to tests/sav/error_for_coll.sav diff --git a/tests/error_formal.sav b/tests/sav/error_formal.sav similarity index 100% rename from tests/error_formal.sav rename to tests/sav/error_formal.sav diff --git a/tests/error_fun_ret.sav b/tests/sav/error_fun_ret.sav similarity index 100% rename from tests/error_fun_ret.sav rename to tests/sav/error_fun_ret.sav diff --git a/tests/error_fun_ret2.sav b/tests/sav/error_fun_ret2.sav similarity index 100% rename from tests/error_fun_ret2.sav rename to tests/sav/error_fun_ret2.sav diff --git a/tests/error_fun_ret3.sav b/tests/sav/error_fun_ret3.sav similarity index 100% rename from tests/error_fun_ret3.sav rename to tests/sav/error_fun_ret3.sav diff --git a/tests/error_fun_ret4.sav b/tests/sav/error_fun_ret4.sav similarity index 100% rename from tests/error_fun_ret4.sav rename to tests/sav/error_fun_ret4.sav diff --git a/tests/error_fun_ret5.sav b/tests/sav/error_fun_ret5.sav similarity index 100% rename from tests/error_fun_ret5.sav rename to tests/sav/error_fun_ret5.sav diff --git a/tests/error_gen_f_inh_clash.sav b/tests/sav/error_gen_f_inh_clash.sav similarity index 100% rename from tests/error_gen_f_inh_clash.sav rename to tests/sav/error_gen_f_inh_clash.sav diff --git a/tests/error_if_bool.sav b/tests/sav/error_if_bool.sav similarity index 100% rename from tests/error_if_bool.sav rename to tests/sav/error_if_bool.sav diff --git a/tests/error_inh_clash.sav b/tests/sav/error_inh_clash.sav similarity index 100% rename from tests/error_inh_clash.sav rename to tests/sav/error_inh_clash.sav diff --git a/tests/error_inh_loop.sav b/tests/sav/error_inh_loop.sav similarity index 100% rename from tests/error_inh_loop.sav rename to tests/sav/error_inh_loop.sav diff --git a/tests/error_kern_attr_any.sav b/tests/sav/error_kern_attr_any.sav similarity index 100% rename from tests/error_kern_attr_any.sav rename to tests/sav/error_kern_attr_any.sav diff --git a/tests/error_kern_attr_int.sav b/tests/sav/error_kern_attr_int.sav similarity index 100% rename from tests/error_kern_attr_int.sav rename to tests/sav/error_kern_attr_int.sav diff --git a/tests/error_left_bool.sav b/tests/sav/error_left_bool.sav similarity index 100% rename from tests/error_left_bool.sav rename to tests/sav/error_left_bool.sav diff --git a/tests/error_loop_bool_until.sav b/tests/sav/error_loop_bool_until.sav similarity index 100% rename from tests/error_loop_bool_until.sav rename to tests/sav/error_loop_bool_until.sav diff --git a/tests/error_loop_bool_while.sav b/tests/sav/error_loop_bool_while.sav similarity index 100% rename from tests/error_loop_bool_while.sav rename to tests/sav/error_loop_bool_while.sav diff --git a/tests/error_meth_2def.sav b/tests/sav/error_meth_2def.sav similarity index 100% rename from tests/error_meth_2def.sav rename to tests/sav/error_meth_2def.sav diff --git a/tests/error_meth_2def2.sav b/tests/sav/error_meth_2def2.sav similarity index 100% rename from tests/error_meth_2def2.sav rename to tests/sav/error_meth_2def2.sav diff --git a/tests/error_meth_create.sav b/tests/sav/error_meth_create.sav similarity index 100% rename from tests/error_meth_create.sav rename to tests/sav/error_meth_create.sav diff --git a/tests/error_meth_unk1.sav b/tests/sav/error_meth_unk1.sav similarity index 100% rename from tests/error_meth_unk1.sav rename to tests/sav/error_meth_unk1.sav diff --git a/tests/error_meth_unk2.sav b/tests/sav/error_meth_unk2.sav similarity index 100% rename from tests/error_meth_unk2.sav rename to tests/sav/error_meth_unk2.sav diff --git a/tests/error_mod_unk.sav b/tests/sav/error_mod_unk.sav similarity index 100% rename from tests/error_mod_unk.sav rename to tests/sav/error_mod_unk.sav diff --git a/tests/error_prop_loc.sav b/tests/sav/error_prop_loc.sav similarity index 100% rename from tests/error_prop_loc.sav rename to tests/sav/error_prop_loc.sav diff --git a/tests/error_ref_attr.sav b/tests/sav/error_ref_attr.sav similarity index 100% rename from tests/error_ref_attr.sav rename to tests/sav/error_ref_attr.sav diff --git a/tests/error_ref_fun.sav b/tests/sav/error_ref_fun.sav similarity index 100% rename from tests/error_ref_fun.sav rename to tests/sav/error_ref_fun.sav diff --git a/tests/error_ref_proc.sav b/tests/sav/error_ref_proc.sav similarity index 100% rename from tests/error_ref_proc.sav rename to tests/sav/error_ref_proc.sav diff --git a/tests/error_ref_ret.sav b/tests/sav/error_ref_ret.sav similarity index 100% rename from tests/error_ref_ret.sav rename to tests/sav/error_ref_ret.sav diff --git a/tests/error_req_loop1.sav b/tests/sav/error_req_loop1.sav similarity index 100% rename from tests/error_req_loop1.sav rename to tests/sav/error_req_loop1.sav diff --git a/tests/error_req_loop2.sav b/tests/sav/error_req_loop2.sav similarity index 100% rename from tests/error_req_loop2.sav rename to tests/sav/error_req_loop2.sav diff --git a/tests/error_ret_fun.sav b/tests/sav/error_ret_fun.sav similarity index 100% rename from tests/error_ret_fun.sav rename to tests/sav/error_ret_fun.sav diff --git a/tests/error_ret_proc.sav b/tests/sav/error_ret_proc.sav similarity index 100% rename from tests/error_ret_proc.sav rename to tests/sav/error_ret_proc.sav diff --git a/tests/error_ret_type.sav b/tests/sav/error_ret_type.sav similarity index 100% rename from tests/error_ret_type.sav rename to tests/sav/error_ret_type.sav diff --git a/tests/error_right_bool.sav b/tests/sav/error_right_bool.sav similarity index 100% rename from tests/error_right_bool.sav rename to tests/sav/error_right_bool.sav diff --git a/tests/error_spe_attr.sav b/tests/sav/error_spe_attr.sav similarity index 100% rename from tests/error_spe_attr.sav rename to tests/sav/error_spe_attr.sav diff --git a/tests/error_spe_fun.sav b/tests/sav/error_spe_fun.sav similarity index 100% rename from tests/error_spe_fun.sav rename to tests/sav/error_spe_fun.sav diff --git a/tests/error_spe_param.sav b/tests/sav/error_spe_param.sav similarity index 100% rename from tests/error_spe_param.sav rename to tests/sav/error_spe_param.sav diff --git a/tests/error_spe_param2.sav b/tests/sav/error_spe_param2.sav similarity index 100% rename from tests/error_spe_param2.sav rename to tests/sav/error_spe_param2.sav diff --git a/tests/error_spe_proc.sav b/tests/sav/error_spe_proc.sav similarity index 100% rename from tests/error_spe_proc.sav rename to tests/sav/error_spe_proc.sav diff --git a/tests/error_spe_ret.sav b/tests/sav/error_spe_ret.sav similarity index 100% rename from tests/error_spe_ret.sav rename to tests/sav/error_spe_ret.sav diff --git a/tests/error_star_type.sav b/tests/sav/error_star_type.sav similarity index 100% rename from tests/error_star_type.sav rename to tests/sav/error_star_type.sav diff --git a/tests/error_super_none.sav b/tests/sav/error_super_none.sav similarity index 100% rename from tests/error_super_none.sav rename to tests/sav/error_super_none.sav diff --git a/tests/error_unk_class.sav b/tests/sav/error_unk_class.sav similarity index 100% rename from tests/error_unk_class.sav rename to tests/sav/error_unk_class.sav diff --git a/tests/error_var_args.sav b/tests/sav/error_var_args.sav similarity index 100% rename from tests/error_var_args.sav rename to tests/sav/error_var_args.sav diff --git a/tests/error_var_args2.sav b/tests/sav/error_var_args2.sav similarity index 100% rename from tests/error_var_args2.sav rename to tests/sav/error_var_args2.sav diff --git a/tests/error_var_assign.sav b/tests/sav/error_var_assign.sav similarity index 100% rename from tests/error_var_assign.sav rename to tests/sav/error_var_assign.sav diff --git a/tests/example_421.sav b/tests/sav/example_421.sav similarity index 100% rename from tests/example_421.sav rename to tests/sav/example_421.sav diff --git a/tests/example_beer.sav b/tests/sav/example_beer.sav similarity index 100% rename from tests/example_beer.sav rename to tests/sav/example_beer.sav diff --git a/tests/example_hanoi.sav b/tests/sav/example_hanoi.sav similarity index 100% rename from tests/example_hanoi.sav rename to tests/sav/example_hanoi.sav diff --git a/tests/example_objet.sav b/tests/sav/example_objet.sav similarity index 100% rename from tests/example_objet.sav rename to tests/sav/example_objet.sav diff --git a/tests/example_point.sav b/tests/sav/example_point.sav similarity index 100% rename from tests/example_point.sav rename to tests/sav/example_point.sav diff --git a/tests/example_procedural_string.sav b/tests/sav/example_procedural_string.sav similarity index 100% rename from tests/example_procedural_string.sav rename to tests/sav/example_procedural_string.sav diff --git a/tests/example_simple.sav b/tests/sav/example_simple.sav similarity index 100% rename from tests/example_simple.sav rename to tests/sav/example_simple.sav diff --git a/tests/example_sorter.sav b/tests/sav/example_sorter.sav similarity index 100% rename from tests/example_sorter.sav rename to tests/sav/example_sorter.sav diff --git a/tests/example_sorts.sav b/tests/sav/example_sorts.sav similarity index 100% rename from tests/example_sorts.sav rename to tests/sav/example_sorts.sav diff --git a/tests/example_string.sav b/tests/sav/example_string.sav similarity index 100% rename from tests/example_string.sav rename to tests/sav/example_string.sav diff --git a/tests/example_time.sav b/tests/sav/example_time.sav similarity index 100% rename from tests/example_time.sav rename to tests/sav/example_time.sav diff --git a/tests/example_variable.sav b/tests/sav/example_variable.sav similarity index 100% rename from tests/example_variable.sav rename to tests/sav/example_variable.sav diff --git a/tests/example_wc.sav b/tests/sav/example_wc.sav similarity index 100% rename from tests/example_wc.sav rename to tests/sav/example_wc.sav diff --git a/tests/fibonacci.sav b/tests/sav/fibonacci.sav similarity index 100% rename from tests/fibonacci.sav rename to tests/sav/fibonacci.sav diff --git a/tests/galerie.sav b/tests/sav/galerie.sav similarity index 100% rename from tests/galerie.sav rename to tests/sav/galerie.sav diff --git a/tests/gccbug_attribute_access.sav b/tests/sav/gccbug_attribute_access.sav similarity index 100% rename from tests/gccbug_attribute_access.sav rename to tests/sav/gccbug_attribute_access.sav diff --git a/tests/hello_world.sav b/tests/sav/hello_world.sav similarity index 100% rename from tests/hello_world.sav rename to tests/sav/hello_world.sav diff --git a/tests/module_0.sav b/tests/sav/module_0.sav similarity index 100% rename from tests/module_0.sav rename to tests/sav/module_0.sav diff --git a/tests/module_1.sav b/tests/sav/module_1.sav similarity index 100% rename from tests/module_1.sav rename to tests/sav/module_1.sav diff --git a/tests/module_simple.sav b/tests/sav/module_simple.sav similarity index 100% rename from tests/module_simple.sav rename to tests/sav/module_simple.sav diff --git a/tests/print_arguments.sav b/tests/sav/print_arguments.sav similarity index 100% rename from tests/print_arguments.sav rename to tests/sav/print_arguments.sav diff --git a/tests/procedural_array.sav b/tests/sav/procedural_array.sav similarity index 100% rename from tests/procedural_array.sav rename to tests/sav/procedural_array.sav diff --git a/tests/shootout_ackermann.sav b/tests/sav/shootout_ackermann.sav similarity index 100% rename from tests/shootout_ackermann.sav rename to tests/sav/shootout_ackermann.sav diff --git a/tests/shootout_binarytrees.sav b/tests/sav/shootout_binarytrees.sav similarity index 100% rename from tests/shootout_binarytrees.sav rename to tests/sav/shootout_binarytrees.sav diff --git a/tests/shootout_mandelbrot.sav b/tests/sav/shootout_mandelbrot.sav similarity index 100% rename from tests/shootout_mandelbrot.sav rename to tests/sav/shootout_mandelbrot.sav diff --git a/tests/shootout_nsieve.sav b/tests/sav/shootout_nsieve.sav similarity index 100% rename from tests/shootout_nsieve.sav rename to tests/sav/shootout_nsieve.sav diff --git a/tests/shootout_startup.sav b/tests/sav/shootout_startup.sav similarity index 100% rename from tests/shootout_startup.sav rename to tests/sav/shootout_startup.sav diff --git a/tests/simple.sav b/tests/sav/simple.sav similarity index 100% rename from tests/simple.sav rename to tests/sav/simple.sav diff --git a/tests/test_accessor.sav b/tests/sav/test_accessor.sav similarity index 100% rename from tests/test_accessor.sav rename to tests/sav/test_accessor.sav diff --git a/tests/test_args.sav b/tests/sav/test_args.sav similarity index 100% rename from tests/test_args.sav rename to tests/sav/test_args.sav diff --git a/tests/test_array.sav b/tests/sav/test_array.sav similarity index 100% rename from tests/test_array.sav rename to tests/sav/test_array.sav diff --git a/tests/test_array_int.sav b/tests/sav/test_array_int.sav similarity index 100% rename from tests/test_array_int.sav rename to tests/sav/test_array_int.sav diff --git a/tests/test_atoi.sav b/tests/sav/test_atoi.sav similarity index 100% rename from tests/test_atoi.sav rename to tests/sav/test_atoi.sav diff --git a/tests/test_attr.sav b/tests/sav/test_attr.sav similarity index 100% rename from tests/test_attr.sav rename to tests/sav/test_attr.sav diff --git a/tests/test_attr_long.sav b/tests/sav/test_attr_long.sav similarity index 100% rename from tests/test_attr_long.sav rename to tests/sav/test_attr_long.sav diff --git a/tests/test_blocks.sav b/tests/sav/test_blocks.sav similarity index 100% rename from tests/test_blocks.sav rename to tests/sav/test_blocks.sav diff --git a/tests/test_boxing.sav b/tests/sav/test_boxing.sav similarity index 100% rename from tests/test_boxing.sav rename to tests/sav/test_boxing.sav diff --git a/tests/test_break.sav b/tests/sav/test_break.sav similarity index 100% rename from tests/test_break.sav rename to tests/sav/test_break.sav diff --git a/tests/test_calls.sav b/tests/sav/test_calls.sav similarity index 100% rename from tests/test_calls.sav rename to tests/sav/test_calls.sav diff --git a/tests/test_coll.sav b/tests/sav/test_coll.sav similarity index 100% rename from tests/test_coll.sav rename to tests/sav/test_coll.sav diff --git a/tests/test_coll_array.sav b/tests/sav/test_coll_array.sav similarity index 100% rename from tests/test_coll_array.sav rename to tests/sav/test_coll_array.sav diff --git a/tests/test_combined_assignment.sav b/tests/sav/test_combined_assignment.sav similarity index 100% rename from tests/test_combined_assignment.sav rename to tests/sav/test_combined_assignment.sav diff --git a/tests/test_combined_assignment_alt1.sav b/tests/sav/test_combined_assignment_alt1.sav similarity index 100% rename from tests/test_combined_assignment_alt1.sav rename to tests/sav/test_combined_assignment_alt1.sav diff --git a/tests/test_cond.sav b/tests/sav/test_cond.sav similarity index 100% rename from tests/test_cond.sav rename to tests/sav/test_cond.sav diff --git a/tests/test_create.sav b/tests/sav/test_create.sav similarity index 100% rename from tests/test_create.sav rename to tests/sav/test_create.sav diff --git a/tests/test_create_more.sav b/tests/sav/test_create_more.sav similarity index 100% rename from tests/test_create_more.sav rename to tests/sav/test_create_more.sav diff --git a/tests/test_eq.sav b/tests/sav/test_eq.sav similarity index 100% rename from tests/test_eq.sav rename to tests/sav/test_eq.sav diff --git a/tests/test_eq2.sav b/tests/sav/test_eq2.sav similarity index 100% rename from tests/test_eq2.sav rename to tests/sav/test_eq2.sav diff --git a/tests/test_equal.sav b/tests/sav/test_equal.sav similarity index 100% rename from tests/test_equal.sav rename to tests/sav/test_equal.sav diff --git a/tests/test_equal_nil.sav b/tests/sav/test_equal_nil.sav similarity index 100% rename from tests/test_equal_nil.sav rename to tests/sav/test_equal_nil.sav diff --git a/tests/test_exec.sav b/tests/sav/test_exec.sav similarity index 100% rename from tests/test_exec.sav rename to tests/sav/test_exec.sav diff --git a/tests/test_extern.sav b/tests/sav/test_extern.sav similarity index 100% rename from tests/test_extern.sav rename to tests/sav/test_extern.sav diff --git a/tests/test_fdstream.sav b/tests/sav/test_fdstream.sav similarity index 100% rename from tests/test_fdstream.sav rename to tests/sav/test_fdstream.sav diff --git a/tests/test_file_read.sav b/tests/sav/test_file_read.sav similarity index 100% rename from tests/test_file_read.sav rename to tests/sav/test_file_read.sav diff --git a/tests/test_file_write.sav b/tests/sav/test_file_write.sav similarity index 100% rename from tests/test_file_write.sav rename to tests/sav/test_file_write.sav diff --git a/tests/test_float.sav b/tests/sav/test_float.sav similarity index 100% rename from tests/test_float.sav rename to tests/sav/test_float.sav diff --git a/tests/test_for.sav b/tests/sav/test_for.sav similarity index 100% rename from tests/test_for.sav rename to tests/sav/test_for.sav diff --git a/tests/test_gen.sav b/tests/sav/test_gen.sav similarity index 100% rename from tests/test_gen.sav rename to tests/sav/test_gen.sav diff --git a/tests/test_gen_inh.sav b/tests/sav/test_gen_inh.sav similarity index 100% rename from tests/test_gen_inh.sav rename to tests/sav/test_gen_inh.sav diff --git a/tests/test_genplus.sav b/tests/sav/test_genplus.sav similarity index 100% rename from tests/test_genplus.sav rename to tests/sav/test_genplus.sav diff --git a/tests/test_gets.sav b/tests/sav/test_gets.sav similarity index 100% rename from tests/test_gets.sav rename to tests/sav/test_gets.sav diff --git a/tests/test_hash.sav b/tests/sav/test_hash.sav similarity index 100% rename from tests/test_hash.sav rename to tests/sav/test_hash.sav diff --git a/tests/test_id.sav b/tests/sav/test_id.sav similarity index 100% rename from tests/test_id.sav rename to tests/sav/test_id.sav diff --git a/tests/test_inheritance.sav b/tests/sav/test_inheritance.sav similarity index 100% rename from tests/test_inheritance.sav rename to tests/sav/test_inheritance.sav diff --git a/tests/test_int_to_s.sav b/tests/sav/test_int_to_s.sav similarity index 100% rename from tests/test_int_to_s.sav rename to tests/sav/test_int_to_s.sav diff --git a/tests/test_io.sav b/tests/sav/test_io.sav similarity index 100% rename from tests/test_io.sav rename to tests/sav/test_io.sav diff --git a/tests/test_isa.sav b/tests/sav/test_isa.sav similarity index 100% rename from tests/test_isa.sav rename to tests/sav/test_isa.sav diff --git a/tests/test_kernel.sav b/tests/sav/test_kernel.sav similarity index 100% rename from tests/test_kernel.sav rename to tests/sav/test_kernel.sav diff --git a/tests/test_let.sav b/tests/sav/test_let.sav similarity index 100% rename from tests/test_let.sav rename to tests/sav/test_let.sav diff --git a/tests/test_list.sav b/tests/sav/test_list.sav similarity index 100% rename from tests/test_list.sav rename to tests/sav/test_list.sav diff --git a/tests/test_map.sav b/tests/sav/test_map.sav similarity index 100% rename from tests/test_map.sav rename to tests/sav/test_map.sav diff --git a/tests/test_math.sav b/tests/sav/test_math.sav similarity index 100% rename from tests/test_math.sav rename to tests/sav/test_math.sav diff --git a/tests/test_mem.sav b/tests/sav/test_mem.sav similarity index 100% rename from tests/test_mem.sav rename to tests/sav/test_mem.sav diff --git a/tests/test_meta.sav b/tests/sav/test_meta.sav similarity index 100% rename from tests/test_meta.sav rename to tests/sav/test_meta.sav diff --git a/tests/test_multiconstraint.sav b/tests/sav/test_multiconstraint.sav similarity index 100% rename from tests/test_multiconstraint.sav rename to tests/sav/test_multiconstraint.sav diff --git a/tests/test_multiconstraint_inh.sav b/tests/sav/test_multiconstraint_inh.sav similarity index 100% rename from tests/test_multiconstraint_inh.sav rename to tests/sav/test_multiconstraint_inh.sav diff --git a/tests/test_multiconstraint_ref.sav b/tests/sav/test_multiconstraint_ref.sav similarity index 100% rename from tests/test_multiconstraint_ref.sav rename to tests/sav/test_multiconstraint_ref.sav diff --git a/tests/test_multiconstraint_ref2.sav b/tests/sav/test_multiconstraint_ref2.sav similarity index 100% rename from tests/test_multiconstraint_ref2.sav rename to tests/sav/test_multiconstraint_ref2.sav diff --git a/tests/test_nil.sav b/tests/sav/test_nil.sav similarity index 100% rename from tests/test_nil.sav rename to tests/sav/test_nil.sav diff --git a/tests/test_obj.sav b/tests/sav/test_obj.sav similarity index 100% rename from tests/test_obj.sav rename to tests/sav/test_obj.sav diff --git a/tests/test_operator_brackets.sav b/tests/sav/test_operator_brackets.sav similarity index 100% rename from tests/test_operator_brackets.sav rename to tests/sav/test_operator_brackets.sav diff --git a/tests/test_operators.sav b/tests/sav/test_operators.sav similarity index 100% rename from tests/test_operators.sav rename to tests/sav/test_operators.sav diff --git a/tests/test_partial_order.sav b/tests/sav/test_partial_order.sav similarity index 100% rename from tests/test_partial_order.sav rename to tests/sav/test_partial_order.sav diff --git a/tests/test_print.sav b/tests/sav/test_print.sav similarity index 100% rename from tests/test_print.sav rename to tests/sav/test_print.sav diff --git a/tests/test_range.sav b/tests/sav/test_range.sav similarity index 100% rename from tests/test_range.sav rename to tests/sav/test_range.sav diff --git a/tests/test_refinement.sav b/tests/sav/test_refinement.sav similarity index 100% rename from tests/test_refinement.sav rename to tests/sav/test_refinement.sav diff --git a/tests/test_return.sav b/tests/sav/test_return.sav similarity index 100% rename from tests/test_return.sav rename to tests/sav/test_return.sav diff --git a/tests/test_star.sav b/tests/sav/test_star.sav similarity index 100% rename from tests/test_star.sav rename to tests/sav/test_star.sav diff --git a/tests/test_stdio.sav b/tests/sav/test_stdio.sav similarity index 100% rename from tests/test_stdio.sav rename to tests/sav/test_stdio.sav diff --git a/tests/test_string.sav b/tests/sav/test_string.sav similarity index 100% rename from tests/test_string.sav rename to tests/sav/test_string.sav diff --git a/tests/test_string_long.sav b/tests/sav/test_string_long.sav similarity index 100% rename from tests/test_string_long.sav rename to tests/sav/test_string_long.sav diff --git a/tests/test_string_search.sav b/tests/sav/test_string_search.sav similarity index 100% rename from tests/test_string_search.sav rename to tests/sav/test_string_search.sav diff --git a/tests/test_string_unicode.sav b/tests/sav/test_string_unicode.sav similarity index 100% rename from tests/test_string_unicode.sav rename to tests/sav/test_string_unicode.sav diff --git a/tests/test_substring.sav b/tests/sav/test_substring.sav similarity index 100% rename from tests/test_substring.sav rename to tests/sav/test_substring.sav diff --git a/tests/test_super.sav b/tests/sav/test_super.sav similarity index 100% rename from tests/test_super.sav rename to tests/sav/test_super.sav diff --git a/tests/test_super_gen.sav b/tests/sav/test_super_gen.sav similarity index 100% rename from tests/test_super_gen.sav rename to tests/sav/test_super_gen.sav diff --git a/tests/test_super_gen_raf.sav b/tests/sav/test_super_gen_raf.sav similarity index 100% rename from tests/test_super_gen_raf.sav rename to tests/sav/test_super_gen_raf.sav diff --git a/tests/test_super_param.sav b/tests/sav/test_super_param.sav similarity index 100% rename from tests/test_super_param.sav rename to tests/sav/test_super_param.sav diff --git a/tests/test_super_param_raf.sav b/tests/sav/test_super_param_raf.sav similarity index 100% rename from tests/test_super_param_raf.sav rename to tests/sav/test_super_param_raf.sav diff --git a/tests/test_super_param_raf2.sav b/tests/sav/test_super_param_raf2.sav similarity index 100% rename from tests/test_super_param_raf2.sav rename to tests/sav/test_super_param_raf2.sav diff --git a/tests/test_superstring.sav b/tests/sav/test_superstring.sav similarity index 100% rename from tests/test_superstring.sav rename to tests/sav/test_superstring.sav diff --git a/tests/test_symbol.sav b/tests/sav/test_symbol.sav similarity index 100% rename from tests/test_symbol.sav rename to tests/sav/test_symbol.sav diff --git a/tests/test_undead.sav b/tests/sav/test_undead.sav similarity index 100% rename from tests/test_undead.sav rename to tests/sav/test_undead.sav diff --git a/tests/test_variance_attr.sav b/tests/sav/test_variance_attr.sav similarity index 100% rename from tests/test_variance_attr.sav rename to tests/sav/test_variance_attr.sav diff --git a/tests/test_variance_param.sav b/tests/sav/test_variance_param.sav similarity index 100% rename from tests/test_variance_param.sav rename to tests/sav/test_variance_param.sav diff --git a/tests/test_variance_ret.sav b/tests/sav/test_variance_ret.sav similarity index 100% rename from tests/test_variance_ret.sav rename to tests/sav/test_variance_ret.sav diff --git a/tests/store_save.sh b/tests/store_save.sh index 58a8eda..039b30c 100755 --- a/tests/store_save.sh +++ b/tests/store_save.sh @@ -26,20 +26,20 @@ echo -n "=> $f: " if [ -r $f.res ]; then # Result - if [ -r $f.sav ]; then - diff -q $f.res $f.sav > /dev/null; + if [ -r sav/$f.sav ]; then + diff -q $f.res sav/$f.sav > /dev/null; if [ $? == 0 ]; then echo "[ok] $f" else - echo "======== [update] $f.sav =========" - cp $f.res $f.sav + echo "======== [update] sav/$f.sav =========" + cp $f.res sav/$f.sav fi else - echo "======== [new] $f.sav =========" - cp $f.res $f.sav + echo "======== [new] sav/$f.sav =========" + cp $f.res sav/$f.sav fi else - if [ -r $f.sav ]; then + if [ -r sav/$f.sav ]; then echo "[no res] $f" else echo "[not yet] $f" diff --git a/tests/tests.sh b/tests/tests.sh index 436ee2f..ef4cc4f 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -39,8 +39,8 @@ elif [ ! -f "$HTM" ]; then for i in "$@"; do f=`echo $i | cut -f1 -d.` echo -n "$f" >> $HTM - if [ -r "$f.sav" ]; then - echo -n " - sav" >> $HTM + if [ -r "sav/$f.sav" ]; then + echo -n " - sav" >> $HTM fi if [ -f "$f.inputs" ]; then echo -n " - inputs" >> $HTM @@ -107,14 +107,14 @@ for ii in "$@"; do fi # Result - if [ -r "$ff.sav" ]; then - diff "$ff.res" "$ff.sav" > "$ff.diff.log" + if [ -r "sav/$ff.sav" ]; then + diff "$ff.res" "sav/$ff.sav" > "$ff.diff.log" if [ "$?" == 0 ]; then echo "[ok] $ff.res" ok="$ok $ff" echo -n "res ok" >> $HTM else - echo "[======= fail $ff.res $ff.sav =======]" + echo "[======= fail $ff.res sav/$ff.sav =======]" nok="$nok $ff" echo -n "res fail - diff" >> $HTM fi -- 1.7.9.5