Move test *.sav files to a sav/ subdirectory.
authorJean Privat <jean@pryen.org>
Wed, 24 Dec 2008 04:05:00 +0000 (23:05 -0500)
committerJean Privat <jean@pryen.org>
Wed, 24 Dec 2008 04:05:00 +0000 (23:05 -0500)
commit1ae40bbfa4e379821c4b06c9e9ccacd01bfc5383
treec46160a544f8fb12f62e8948b803d9b8ad0bf720
parenta871d59fa2467c4bac97a1106a8c7a8ec5b568ac
Move test *.sav files to a sav/ subdirectory.
284 files changed:
tests/sav/README [new file with mode: 0644]
tests/sav/base_abort.sav [moved from tests/base_abort.sav with 100% similarity]
tests/sav/base_array.sav [moved from tests/base_array.sav with 100% similarity]
tests/sav/base_array_alt1.sav [moved from tests/base_array_alt1.sav with 100% similarity]
tests/sav/base_attr.sav [moved from tests/base_attr.sav with 100% similarity]
tests/sav/base_attr_def.sav [moved from tests/base_attr_def.sav with 100% similarity]
tests/sav/base_attr_init_val1.sav [moved from tests/base_attr_init_val1.sav with 100% similarity]
tests/sav/base_attr_init_val2.sav [moved from tests/base_attr_init_val2.sav with 100% similarity]
tests/sav/base_classid.sav [moved from tests/base_classid.sav with 100% similarity]
tests/sav/base_combined_assignment.sav [moved from tests/base_combined_assignment.sav with 100% similarity]
tests/sav/base_combined_assignment_alt1.sav [moved from tests/base_combined_assignment_alt1.sav with 100% similarity]
tests/sav/base_compile.sav [moved from tests/base_compile.sav with 100% similarity]
tests/sav/base_control_flow.sav [moved from tests/base_control_flow.sav with 100% similarity]
tests/sav/base_control_flow2.sav [moved from tests/base_control_flow2.sav with 100% similarity]
tests/sav/base_empty.sav [moved from tests/base_empty.sav with 100% similarity]
tests/sav/base_empty_comments.sav [moved from tests/base_empty_comments.sav with 100% similarity]
tests/sav/base_empty_module.sav [moved from tests/base_empty_module.sav with 100% similarity]
tests/sav/base_eq.sav [moved from tests/base_eq.sav with 100% similarity]
tests/sav/base_eq_int.sav [moved from tests/base_eq_int.sav with 100% similarity]
tests/sav/base_eq_int2.sav [moved from tests/base_eq_int2.sav with 100% similarity]
tests/sav/base_gen.sav [moved from tests/base_gen.sav with 100% similarity]
tests/sav/base_gen_alt1.sav [moved from tests/base_gen_alt1.sav with 100% similarity]
tests/sav/base_gen_f.sav [moved from tests/base_gen_f.sav with 100% similarity]
tests/sav/base_gen_int.sav [moved from tests/base_gen_int.sav with 100% similarity]
tests/sav/base_gen_int_alt1.sav [moved from tests/base_gen_int_alt1.sav with 100% similarity]
tests/sav/base_if_expr.sav [moved from tests/base_if_expr.sav with 100% similarity]
tests/sav/base_if_expr_alt1.sav [moved from tests/base_if_expr_alt1.sav with 100% similarity]
tests/sav/base_init_inh.sav [moved from tests/base_init_inh.sav with 100% similarity]
tests/sav/base_init_linext.sav [moved from tests/base_init_linext.sav with 100% similarity]
tests/sav/base_init_linext2.sav [moved from tests/base_init_linext2.sav with 100% similarity]
tests/sav/base_init_linext2_alt1.sav [moved from tests/base_init_linext2_alt1.sav with 100% similarity]
tests/sav/base_init_linext2_alt2.sav [moved from tests/base_init_linext2_alt2.sav with 100% similarity]
tests/sav/base_init_linext2_alt3.sav [moved from tests/base_init_linext2_alt3.sav with 100% similarity]
tests/sav/base_init_linext2_alt4.sav [moved from tests/base_init_linext2_alt4.sav with 100% similarity]
tests/sav/base_init_linext2_alt5.sav [moved from tests/base_init_linext2_alt5.sav with 100% similarity]
tests/sav/base_init_linext_alt0.sav [moved from tests/base_init_linext_alt0.sav with 100% similarity]
tests/sav/base_init_linext_alt1.sav [moved from tests/base_init_linext_alt1.sav with 100% similarity]
tests/sav/base_init_linext_alt10.sav [moved from tests/base_init_linext_alt10.sav with 100% similarity]
tests/sav/base_init_linext_alt11.sav [moved from tests/base_init_linext_alt11.sav with 100% similarity]
tests/sav/base_init_linext_alt12.sav [moved from tests/base_init_linext_alt12.sav with 100% similarity]
tests/sav/base_init_linext_alt13.sav [moved from tests/base_init_linext_alt13.sav with 100% similarity]
tests/sav/base_init_linext_alt14.sav [moved from tests/base_init_linext_alt14.sav with 100% similarity]
tests/sav/base_init_linext_alt15.sav [moved from tests/base_init_linext_alt15.sav with 100% similarity]
tests/sav/base_init_linext_alt2.sav [moved from tests/base_init_linext_alt2.sav with 100% similarity]
tests/sav/base_init_linext_alt3.sav [moved from tests/base_init_linext_alt3.sav with 100% similarity]
tests/sav/base_init_linext_alt4.sav [moved from tests/base_init_linext_alt4.sav with 100% similarity]
tests/sav/base_init_linext_alt5.sav [moved from tests/base_init_linext_alt5.sav with 100% similarity]
tests/sav/base_init_linext_alt6.sav [moved from tests/base_init_linext_alt6.sav with 100% similarity]
tests/sav/base_init_linext_alt7.sav [moved from tests/base_init_linext_alt7.sav with 100% similarity]
tests/sav/base_init_linext_alt8.sav [moved from tests/base_init_linext_alt8.sav with 100% similarity]
tests/sav/base_init_linext_alt9.sav [moved from tests/base_init_linext_alt9.sav with 100% similarity]
tests/sav/base_init_linext_raf.sav [moved from tests/base_init_linext_raf.sav with 100% similarity]
tests/sav/base_init_raf.sav [moved from tests/base_init_raf.sav with 100% similarity]
tests/sav/base_inline_statement.sav [moved from tests/base_inline_statement.sav with 100% similarity]
tests/sav/base_inline_statement_alt1.sav [moved from tests/base_inline_statement_alt1.sav with 100% similarity]
tests/sav/base_inline_statement_alt2.sav [moved from tests/base_inline_statement_alt2.sav with 100% similarity]
tests/sav/base_inline_statement_alt3.sav [moved from tests/base_inline_statement_alt3.sav with 100% similarity]
tests/sav/base_int.sav [moved from tests/base_int.sav with 100% similarity]
tests/sav/base_isa.sav [moved from tests/base_isa.sav with 100% similarity]
tests/sav/base_isa_cast.sav [moved from tests/base_isa_cast.sav with 100% similarity]
tests/sav/base_isa_cast_alt1.sav [moved from tests/base_isa_cast_alt1.sav with 100% similarity]
tests/sav/base_isa_cast_alt2.sav [moved from tests/base_isa_cast_alt2.sav with 100% similarity]
tests/sav/base_isa_cast_alt3.sav [moved from tests/base_isa_cast_alt3.sav with 100% similarity]
tests/sav/base_isa_cast_alt4.sav [moved from tests/base_isa_cast_alt4.sav with 100% similarity]
tests/sav/base_isa_cast_alt5.sav [moved from tests/base_isa_cast_alt5.sav with 100% similarity]
tests/sav/base_isa_cast_alt6.sav [moved from tests/base_isa_cast_alt6.sav with 100% similarity]
tests/sav/base_isa_nil.sav [moved from tests/base_isa_nil.sav with 100% similarity]
tests/sav/base_once.sav [moved from tests/base_once.sav with 100% similarity]
tests/sav/base_primitive.sav [moved from tests/base_primitive.sav with 100% similarity]
tests/sav/base_prot.sav [moved from tests/base_prot.sav with 100% similarity]
tests/sav/base_prot2.sav [moved from tests/base_prot2.sav with 100% similarity]
tests/sav/base_prot2_alt1.sav [moved from tests/base_prot2_alt1.sav with 100% similarity]
tests/sav/base_prot2_alt2.sav [moved from tests/base_prot2_alt2.sav with 100% similarity]
tests/sav/base_prot2_alt3.sav [moved from tests/base_prot2_alt3.sav with 100% similarity]
tests/sav/base_prot2_alt4.sav [moved from tests/base_prot2_alt4.sav with 100% similarity]
tests/sav/base_prot2_alt5.sav [moved from tests/base_prot2_alt5.sav with 100% similarity]
tests/sav/base_prot3.sav [moved from tests/base_prot3.sav with 100% similarity]
tests/sav/base_sig_inh.sav [moved from tests/base_sig_inh.sav with 100% similarity]
tests/sav/base_simple.sav [moved from tests/base_simple.sav with 100% similarity]
tests/sav/base_simple2.sav [moved from tests/base_simple2.sav with 100% similarity]
tests/sav/base_super_linext.sav [moved from tests/base_super_linext.sav with 100% similarity]
tests/sav/base_super_linext_raf.sav [moved from tests/base_super_linext_raf.sav with 100% similarity]
tests/sav/base_virtual_type.sav [moved from tests/base_virtual_type.sav with 100% similarity]
tests/sav/base_virtual_type2.sav [moved from tests/base_virtual_type2.sav with 100% similarity]
tests/sav/base_virtual_type2_alt1.sav [moved from tests/base_virtual_type2_alt1.sav with 100% similarity]
tests/sav/base_virtual_type3.sav [moved from tests/base_virtual_type3.sav with 100% similarity]
tests/sav/base_virtual_type3_alt1.sav [moved from tests/base_virtual_type3_alt1.sav with 100% similarity]
tests/sav/base_virtual_type4.sav [moved from tests/base_virtual_type4.sav with 100% similarity]
tests/sav/base_virtual_type4_alt1.sav [moved from tests/base_virtual_type4_alt1.sav with 100% similarity]
tests/sav/base_virtual_type5.sav [moved from tests/base_virtual_type5.sav with 100% similarity]
tests/sav/base_virtual_type5_alt1.sav [moved from tests/base_virtual_type5_alt1.sav with 100% similarity]
tests/sav/base_virtual_type5_alt2.sav [moved from tests/base_virtual_type5_alt2.sav with 100% similarity]
tests/sav/base_virtual_type6.sav [moved from tests/base_virtual_type6.sav with 100% similarity]
tests/sav/base_virtual_type7.sav [moved from tests/base_virtual_type7.sav with 100% similarity]
tests/sav/base_virtual_type_alt1.sav [moved from tests/base_virtual_type_alt1.sav with 100% similarity]
tests/sav/base_virtual_type_alt2.sav [moved from tests/base_virtual_type_alt2.sav with 100% similarity]
tests/sav/base_virtual_type_alt3.sav [moved from tests/base_virtual_type_alt3.sav with 100% similarity]
tests/sav/bench_421.sav [moved from tests/bench_421.sav with 100% similarity]
tests/sav/bench_complex_sort.sav [moved from tests/bench_complex_sort.sav with 100% similarity]
tests/sav/bench_fib.sav [moved from tests/bench_fib.sav with 100% similarity]
tests/sav/bench_netsim.sav [moved from tests/bench_netsim.sav with 100% similarity]
tests/sav/bench_nsieve_bool.sav [moved from tests/bench_nsieve_bool.sav with 100% similarity]
tests/sav/bench_prime.sav [moved from tests/bench_prime.sav with 100% similarity]
tests/sav/bench_random_n_sort.sav [moved from tests/bench_random_n_sort.sav with 100% similarity]
tests/sav/bench_send.sav [moved from tests/bench_send.sav with 100% similarity]
tests/sav/bench_send2.sav [moved from tests/bench_send2.sav with 100% similarity]
tests/sav/bench_string_append.sav [moved from tests/bench_string_append.sav with 100% similarity]
tests/sav/bench_string_super.sav [moved from tests/bench_string_super.sav with 100% similarity]
tests/sav/bench_string_tos.sav [moved from tests/bench_string_tos.sav with 100% similarity]
tests/sav/bench_svn105_papillon.log.sav [moved from tests/bench_svn105_papillon.log.sav with 100% similarity]
tests/sav/bench_svn107_bird.log.sav [moved from tests/bench_svn107_bird.log.sav with 100% similarity]
tests/sav/bench_svn219_bird.log.sav [moved from tests/bench_svn219_bird.log.sav with 100% similarity]
tests/sav/bench_tak.sav [moved from tests/bench_tak.sav with 100% similarity]
tests/sav/error_array_ambig.sav [moved from tests/error_array_ambig.sav with 100% similarity]
tests/sav/error_attr_2def.sav [moved from tests/error_attr_2def.sav with 100% similarity]
tests/sav/error_attr_assign.sav [moved from tests/error_attr_assign.sav with 100% similarity]
tests/sav/error_attr_unk.sav [moved from tests/error_attr_unk.sav with 100% similarity]
tests/sav/error_cons_arity.sav [moved from tests/error_cons_arity.sav with 100% similarity]
tests/sav/error_cons_arity2.sav [moved from tests/error_cons_arity2.sav with 100% similarity]
tests/sav/error_constraint.sav [moved from tests/error_constraint.sav with 100% similarity]
tests/sav/error_decl_type_var.sav [moved from tests/error_decl_type_var.sav with 100% similarity]
tests/sav/error_defs.sav [moved from tests/error_defs.sav with 100% similarity]
tests/sav/error_defs_alt1.sav [moved from tests/error_defs_alt1.sav with 100% similarity]
tests/sav/error_defs_alt2.sav [moved from tests/error_defs_alt2.sav with 100% similarity]
tests/sav/error_defs_alt3.sav [moved from tests/error_defs_alt3.sav with 100% similarity]
tests/sav/error_defs_alt4.sav [moved from tests/error_defs_alt4.sav with 100% similarity]
tests/sav/error_defs_alt5.sav [moved from tests/error_defs_alt5.sav with 100% similarity]
tests/sav/error_defs_alt6.sav [moved from tests/error_defs_alt6.sav with 100% similarity]
tests/sav/error_defs_alt7.sav [moved from tests/error_defs_alt7.sav with 100% similarity]
tests/sav/error_defs_alt8.sav [moved from tests/error_defs_alt8.sav with 100% similarity]
tests/sav/error_file_access.sav [moved from tests/error_file_access.sav with 100% similarity]
tests/sav/error_for_coll.sav [moved from tests/error_for_coll.sav with 100% similarity]
tests/sav/error_formal.sav [moved from tests/error_formal.sav with 100% similarity]
tests/sav/error_fun_ret.sav [moved from tests/error_fun_ret.sav with 100% similarity]
tests/sav/error_fun_ret2.sav [moved from tests/error_fun_ret2.sav with 100% similarity]
tests/sav/error_fun_ret3.sav [moved from tests/error_fun_ret3.sav with 100% similarity]
tests/sav/error_fun_ret4.sav [moved from tests/error_fun_ret4.sav with 100% similarity]
tests/sav/error_fun_ret5.sav [moved from tests/error_fun_ret5.sav with 100% similarity]
tests/sav/error_gen_f_inh_clash.sav [moved from tests/error_gen_f_inh_clash.sav with 100% similarity]
tests/sav/error_if_bool.sav [moved from tests/error_if_bool.sav with 100% similarity]
tests/sav/error_inh_clash.sav [moved from tests/error_inh_clash.sav with 100% similarity]
tests/sav/error_inh_loop.sav [moved from tests/error_inh_loop.sav with 100% similarity]
tests/sav/error_kern_attr_any.sav [moved from tests/error_kern_attr_any.sav with 100% similarity]
tests/sav/error_kern_attr_int.sav [moved from tests/error_kern_attr_int.sav with 100% similarity]
tests/sav/error_left_bool.sav [moved from tests/error_left_bool.sav with 100% similarity]
tests/sav/error_loop_bool_until.sav [moved from tests/error_loop_bool_until.sav with 100% similarity]
tests/sav/error_loop_bool_while.sav [moved from tests/error_loop_bool_while.sav with 100% similarity]
tests/sav/error_meth_2def.sav [moved from tests/error_meth_2def.sav with 100% similarity]
tests/sav/error_meth_2def2.sav [moved from tests/error_meth_2def2.sav with 100% similarity]
tests/sav/error_meth_create.sav [moved from tests/error_meth_create.sav with 100% similarity]
tests/sav/error_meth_unk1.sav [moved from tests/error_meth_unk1.sav with 100% similarity]
tests/sav/error_meth_unk2.sav [moved from tests/error_meth_unk2.sav with 100% similarity]
tests/sav/error_mod_unk.sav [moved from tests/error_mod_unk.sav with 100% similarity]
tests/sav/error_prop_loc.sav [moved from tests/error_prop_loc.sav with 100% similarity]
tests/sav/error_ref_attr.sav [moved from tests/error_ref_attr.sav with 100% similarity]
tests/sav/error_ref_fun.sav [moved from tests/error_ref_fun.sav with 100% similarity]
tests/sav/error_ref_proc.sav [moved from tests/error_ref_proc.sav with 100% similarity]
tests/sav/error_ref_ret.sav [moved from tests/error_ref_ret.sav with 100% similarity]
tests/sav/error_req_loop1.sav [moved from tests/error_req_loop1.sav with 100% similarity]
tests/sav/error_req_loop2.sav [moved from tests/error_req_loop2.sav with 100% similarity]
tests/sav/error_ret_fun.sav [moved from tests/error_ret_fun.sav with 100% similarity]
tests/sav/error_ret_proc.sav [moved from tests/error_ret_proc.sav with 100% similarity]
tests/sav/error_ret_type.sav [moved from tests/error_ret_type.sav with 100% similarity]
tests/sav/error_right_bool.sav [moved from tests/error_right_bool.sav with 100% similarity]
tests/sav/error_spe_attr.sav [moved from tests/error_spe_attr.sav with 100% similarity]
tests/sav/error_spe_fun.sav [moved from tests/error_spe_fun.sav with 100% similarity]
tests/sav/error_spe_param.sav [moved from tests/error_spe_param.sav with 100% similarity]
tests/sav/error_spe_param2.sav [moved from tests/error_spe_param2.sav with 100% similarity]
tests/sav/error_spe_proc.sav [moved from tests/error_spe_proc.sav with 100% similarity]
tests/sav/error_spe_ret.sav [moved from tests/error_spe_ret.sav with 100% similarity]
tests/sav/error_star_type.sav [moved from tests/error_star_type.sav with 100% similarity]
tests/sav/error_super_none.sav [moved from tests/error_super_none.sav with 100% similarity]
tests/sav/error_unk_class.sav [moved from tests/error_unk_class.sav with 100% similarity]
tests/sav/error_var_args.sav [moved from tests/error_var_args.sav with 100% similarity]
tests/sav/error_var_args2.sav [moved from tests/error_var_args2.sav with 100% similarity]
tests/sav/error_var_assign.sav [moved from tests/error_var_assign.sav with 100% similarity]
tests/sav/example_421.sav [moved from tests/example_421.sav with 100% similarity]
tests/sav/example_beer.sav [moved from tests/example_beer.sav with 100% similarity]
tests/sav/example_hanoi.sav [moved from tests/example_hanoi.sav with 100% similarity]
tests/sav/example_objet.sav [moved from tests/example_objet.sav with 100% similarity]
tests/sav/example_point.sav [moved from tests/example_point.sav with 100% similarity]
tests/sav/example_procedural_string.sav [moved from tests/example_procedural_string.sav with 100% similarity]
tests/sav/example_simple.sav [moved from tests/example_simple.sav with 100% similarity]
tests/sav/example_sorter.sav [moved from tests/example_sorter.sav with 100% similarity]
tests/sav/example_sorts.sav [moved from tests/example_sorts.sav with 100% similarity]
tests/sav/example_string.sav [moved from tests/example_string.sav with 100% similarity]
tests/sav/example_time.sav [moved from tests/example_time.sav with 100% similarity]
tests/sav/example_variable.sav [moved from tests/example_variable.sav with 100% similarity]
tests/sav/example_wc.sav [moved from tests/example_wc.sav with 100% similarity]
tests/sav/fibonacci.sav [moved from tests/fibonacci.sav with 100% similarity]
tests/sav/galerie.sav [moved from tests/galerie.sav with 100% similarity]
tests/sav/gccbug_attribute_access.sav [moved from tests/gccbug_attribute_access.sav with 100% similarity]
tests/sav/hello_world.sav [moved from tests/hello_world.sav with 100% similarity]
tests/sav/module_0.sav [moved from tests/module_0.sav with 100% similarity]
tests/sav/module_1.sav [moved from tests/module_1.sav with 100% similarity]
tests/sav/module_simple.sav [moved from tests/module_simple.sav with 100% similarity]
tests/sav/print_arguments.sav [moved from tests/print_arguments.sav with 100% similarity]
tests/sav/procedural_array.sav [moved from tests/procedural_array.sav with 100% similarity]
tests/sav/shootout_ackermann.sav [moved from tests/shootout_ackermann.sav with 100% similarity]
tests/sav/shootout_binarytrees.sav [moved from tests/shootout_binarytrees.sav with 100% similarity]
tests/sav/shootout_mandelbrot.sav [moved from tests/shootout_mandelbrot.sav with 100% similarity]
tests/sav/shootout_nsieve.sav [moved from tests/shootout_nsieve.sav with 100% similarity]
tests/sav/shootout_startup.sav [moved from tests/shootout_startup.sav with 100% similarity]
tests/sav/simple.sav [moved from tests/simple.sav with 100% similarity]
tests/sav/test_accessor.sav [moved from tests/test_accessor.sav with 100% similarity]
tests/sav/test_args.sav [moved from tests/test_args.sav with 100% similarity]
tests/sav/test_array.sav [moved from tests/test_array.sav with 100% similarity]
tests/sav/test_array_int.sav [moved from tests/test_array_int.sav with 100% similarity]
tests/sav/test_atoi.sav [moved from tests/test_atoi.sav with 100% similarity]
tests/sav/test_attr.sav [moved from tests/test_attr.sav with 100% similarity]
tests/sav/test_attr_long.sav [moved from tests/test_attr_long.sav with 100% similarity]
tests/sav/test_blocks.sav [moved from tests/test_blocks.sav with 100% similarity]
tests/sav/test_boxing.sav [moved from tests/test_boxing.sav with 100% similarity]
tests/sav/test_break.sav [moved from tests/test_break.sav with 100% similarity]
tests/sav/test_calls.sav [moved from tests/test_calls.sav with 100% similarity]
tests/sav/test_coll.sav [moved from tests/test_coll.sav with 100% similarity]
tests/sav/test_coll_array.sav [moved from tests/test_coll_array.sav with 100% similarity]
tests/sav/test_combined_assignment.sav [moved from tests/test_combined_assignment.sav with 100% similarity]
tests/sav/test_combined_assignment_alt1.sav [moved from tests/test_combined_assignment_alt1.sav with 100% similarity]
tests/sav/test_cond.sav [moved from tests/test_cond.sav with 100% similarity]
tests/sav/test_create.sav [moved from tests/test_create.sav with 100% similarity]
tests/sav/test_create_more.sav [moved from tests/test_create_more.sav with 100% similarity]
tests/sav/test_eq.sav [moved from tests/test_eq.sav with 100% similarity]
tests/sav/test_eq2.sav [moved from tests/test_eq2.sav with 100% similarity]
tests/sav/test_equal.sav [moved from tests/test_equal.sav with 100% similarity]
tests/sav/test_equal_nil.sav [moved from tests/test_equal_nil.sav with 100% similarity]
tests/sav/test_exec.sav [moved from tests/test_exec.sav with 100% similarity]
tests/sav/test_extern.sav [moved from tests/test_extern.sav with 100% similarity]
tests/sav/test_fdstream.sav [moved from tests/test_fdstream.sav with 100% similarity]
tests/sav/test_file_read.sav [moved from tests/test_file_read.sav with 100% similarity]
tests/sav/test_file_write.sav [moved from tests/test_file_write.sav with 100% similarity]
tests/sav/test_float.sav [moved from tests/test_float.sav with 100% similarity]
tests/sav/test_for.sav [moved from tests/test_for.sav with 100% similarity]
tests/sav/test_gen.sav [moved from tests/test_gen.sav with 100% similarity]
tests/sav/test_gen_inh.sav [moved from tests/test_gen_inh.sav with 100% similarity]
tests/sav/test_genplus.sav [moved from tests/test_genplus.sav with 100% similarity]
tests/sav/test_gets.sav [moved from tests/test_gets.sav with 100% similarity]
tests/sav/test_hash.sav [moved from tests/test_hash.sav with 100% similarity]
tests/sav/test_id.sav [moved from tests/test_id.sav with 100% similarity]
tests/sav/test_inheritance.sav [moved from tests/test_inheritance.sav with 100% similarity]
tests/sav/test_int_to_s.sav [moved from tests/test_int_to_s.sav with 100% similarity]
tests/sav/test_io.sav [moved from tests/test_io.sav with 100% similarity]
tests/sav/test_isa.sav [moved from tests/test_isa.sav with 100% similarity]
tests/sav/test_kernel.sav [moved from tests/test_kernel.sav with 100% similarity]
tests/sav/test_let.sav [moved from tests/test_let.sav with 100% similarity]
tests/sav/test_list.sav [moved from tests/test_list.sav with 100% similarity]
tests/sav/test_map.sav [moved from tests/test_map.sav with 100% similarity]
tests/sav/test_math.sav [moved from tests/test_math.sav with 100% similarity]
tests/sav/test_mem.sav [moved from tests/test_mem.sav with 100% similarity]
tests/sav/test_meta.sav [moved from tests/test_meta.sav with 100% similarity]
tests/sav/test_multiconstraint.sav [moved from tests/test_multiconstraint.sav with 100% similarity]
tests/sav/test_multiconstraint_inh.sav [moved from tests/test_multiconstraint_inh.sav with 100% similarity]
tests/sav/test_multiconstraint_ref.sav [moved from tests/test_multiconstraint_ref.sav with 100% similarity]
tests/sav/test_multiconstraint_ref2.sav [moved from tests/test_multiconstraint_ref2.sav with 100% similarity]
tests/sav/test_nil.sav [moved from tests/test_nil.sav with 100% similarity]
tests/sav/test_obj.sav [moved from tests/test_obj.sav with 100% similarity]
tests/sav/test_operator_brackets.sav [moved from tests/test_operator_brackets.sav with 100% similarity]
tests/sav/test_operators.sav [moved from tests/test_operators.sav with 100% similarity]
tests/sav/test_partial_order.sav [moved from tests/test_partial_order.sav with 100% similarity]
tests/sav/test_print.sav [moved from tests/test_print.sav with 100% similarity]
tests/sav/test_range.sav [moved from tests/test_range.sav with 100% similarity]
tests/sav/test_refinement.sav [moved from tests/test_refinement.sav with 100% similarity]
tests/sav/test_return.sav [moved from tests/test_return.sav with 100% similarity]
tests/sav/test_star.sav [moved from tests/test_star.sav with 100% similarity]
tests/sav/test_stdio.sav [moved from tests/test_stdio.sav with 100% similarity]
tests/sav/test_string.sav [moved from tests/test_string.sav with 100% similarity]
tests/sav/test_string_long.sav [moved from tests/test_string_long.sav with 100% similarity]
tests/sav/test_string_search.sav [moved from tests/test_string_search.sav with 100% similarity]
tests/sav/test_string_unicode.sav [moved from tests/test_string_unicode.sav with 100% similarity]
tests/sav/test_substring.sav [moved from tests/test_substring.sav with 100% similarity]
tests/sav/test_super.sav [moved from tests/test_super.sav with 100% similarity]
tests/sav/test_super_gen.sav [moved from tests/test_super_gen.sav with 100% similarity]
tests/sav/test_super_gen_raf.sav [moved from tests/test_super_gen_raf.sav with 100% similarity]
tests/sav/test_super_param.sav [moved from tests/test_super_param.sav with 100% similarity]
tests/sav/test_super_param_raf.sav [moved from tests/test_super_param_raf.sav with 100% similarity]
tests/sav/test_super_param_raf2.sav [moved from tests/test_super_param_raf2.sav with 100% similarity]
tests/sav/test_superstring.sav [moved from tests/test_superstring.sav with 100% similarity]
tests/sav/test_symbol.sav [moved from tests/test_symbol.sav with 100% similarity]
tests/sav/test_undead.sav [moved from tests/test_undead.sav with 100% similarity]
tests/sav/test_variance_attr.sav [moved from tests/test_variance_attr.sav with 100% similarity]
tests/sav/test_variance_param.sav [moved from tests/test_variance_param.sav with 100% similarity]
tests/sav/test_variance_ret.sav [moved from tests/test_variance_ret.sav with 100% similarity]
tests/store_save.sh
tests/tests.sh