Index of /src/flowistry-0.5.42/tests/backward_slice/


../
array_read.txt                                     24-Jul-2006 01:21                  56
array_read.txt.expected                            24-Jul-2006 01:21                  64
array_write.txt                                    24-Jul-2006 01:21                  56
array_write.txt.expected                           24-Jul-2006 01:21                  64
async_simple.txt                                   24-Jul-2006 01:21                 124
async_simple.txt.expected                          24-Jul-2006 01:21                 132
async_two_await.txt                                24-Jul-2006 01:21                 112
async_two_await.txt.expected                       24-Jul-2006 01:21                 112
box_move.txt                                       24-Jul-2006 01:21                  81
box_move.txt.expected                              24-Jul-2006 01:21                  93
box_write.txt                                      24-Jul-2006 01:21                  59
box_write.txt.expected                             24-Jul-2006 01:21                  67
closure_read_upvar.txt                             24-Jul-2006 01:21                  71
closure_read_upvar.txt.expected                    24-Jul-2006 01:21                  75
closure_slice_inner_write_inner.txt                24-Jul-2006 01:21                  83
closure_slice_inner_write_inner.txt.expected       24-Jul-2006 01:21                  87
closure_slice_inner_write_outer.txt                24-Jul-2006 01:21                  69
closure_slice_inner_write_outer.txt.expected       24-Jul-2006 01:21                  73
closure_write_upvar.txt                            24-Jul-2006 01:21                  76
closure_write_upvar.txt.expected                   24-Jul-2006 01:21                  88
early_return_drop.txt                              24-Jul-2006 01:21                  84
early_return_drop.txt.expected                     24-Jul-2006 01:21                  84
early_return_option.txt                            24-Jul-2006 01:21                  65
early_return_option.txt.expected                   24-Jul-2006 01:21                  65
early_return_output.txt.expected                   24-Jul-2006 01:21                  77
early_return_simple.txt                            24-Jul-2006 01:21                  85
early_return_simple.txt.expected                   24-Jul-2006 01:21                  89
enum_write_branch_read_branch.txt                  24-Jul-2006 01:21                 239
enum_write_branch_read_branch.txt.expected         24-Jul-2006 01:21                 255
enum_write_branch_read_whole.txt                   24-Jul-2006 01:21                 207
enum_write_branch_read_whole.txt.expected          24-Jul-2006 01:21                 219
forloop_some_relevant.txt                          24-Jul-2006 01:21                 102
forloop_some_relevant.txt.expected                 24-Jul-2006 01:21                 114
function_arg_pattern.txt                           24-Jul-2006 01:21                  84
function_arg_pattern.txt.expected                  24-Jul-2006 01:21                  92
function_lifetime_alias_mut.txt                    24-Jul-2006 01:21                  89
function_lifetime_alias_mut.txt.expected           24-Jul-2006 01:21                  93
function_mut_ptr_param.txt                         24-Jul-2006 01:21                  70
function_mut_ptr_param.txt.expected                24-Jul-2006 01:21                  82
function_mut_ptr_param_field.txt                   24-Jul-2006 01:21                  77
function_mut_ptr_param_field.txt.expected          24-Jul-2006 01:21                  89
function_param.txt                                 24-Jul-2006 01:21                  44
function_param.txt.expected                        24-Jul-2006 01:21                  52
function_param_field_independence.txt              24-Jul-2006 01:21                  79
function_param_field_independence.txt.expected     24-Jul-2006 01:21                  87
function_ref_in_ret.txt                            24-Jul-2006 01:21                  74
function_ref_in_ret.txt.expected                   24-Jul-2006 01:21                  86
function_ret.txt                                   24-Jul-2006 01:21                  47
function_ret.txt.expected                          24-Jul-2006 01:21                  55
function_ret_not_sliced.txt                        24-Jul-2006 01:21                  78
function_ret_not_sliced.txt.expected               24-Jul-2006 01:21                  82
generic_param.txt                                  24-Jul-2006 01:21                  55
generic_param.txt.expected                         24-Jul-2006 01:21                  63
hashset_union.txt                                  24-Jul-2006 01:21                 235
hashset_union.txt.expected                         24-Jul-2006 01:21                 251
if_all_paths_irrelevant.txt                        24-Jul-2006 01:21                  71
if_all_paths_irrelevant.txt.expected               24-Jul-2006 01:21                  75
if_both_paths_relevant.txt                         24-Jul-2006 01:21                  70
if_both_paths_relevant.txt.expected                24-Jul-2006 01:21                  74
if_one_path_relevant.txt                           24-Jul-2006 01:21                 105
if_one_path_relevant.txt.expected                  24-Jul-2006 01:21                 117
if_slice_in_branch.txt                             24-Jul-2006 01:21                  75
if_slice_in_branch.txt.expected                    24-Jul-2006 01:21                  79
if_test.txt                                        24-Jul-2006 01:21                 109
if_test.txt.expected                               24-Jul-2006 01:21                 121
interior_mutability_not_observable.txt             24-Jul-2006 01:21                 144
interior_mutability_not_observable.txt.expected    24-Jul-2006 01:21                 148
interior_mutability_observable.txt                 24-Jul-2006 01:21                  96
interior_mutability_observable.txt.expected        24-Jul-2006 01:21                 104
interprocedural_field_independence.txt             24-Jul-2006 01:21                 141
interprocedural_field_independence.txt.expected    24-Jul-2006 01:21                 145
interprocedural_input.txt                          24-Jul-2006 01:21                  96
interprocedural_input.txt.expected                 24-Jul-2006 01:21                 108
interprocedural_mut_input.txt                      24-Jul-2006 01:21                 172
interprocedural_mut_input.txt.expected             24-Jul-2006 01:21                 184
interprocedural_mut_input_field.txt                24-Jul-2006 01:21                  84
interprocedural_mut_input_field.txt.expected       24-Jul-2006 01:21                  92
interprocedural_mut_input_irrelevant.txt           24-Jul-2006 01:21                  95
interprocedural_mut_input_irrelevant.txt.expected  24-Jul-2006 01:21                  99
interprocedural_mut_input_whole.txt                24-Jul-2006 01:21                  96
interprocedural_mut_input_whole.txt.expected       24-Jul-2006 01:21                 104
interprocedural_mut_output.txt                     24-Jul-2006 01:21                 112
interprocedural_mut_output.txt.expected            24-Jul-2006 01:21                 124
interprocedural_mut_output_field_read_field.txt    24-Jul-2006 01:21                 200
interprocedural_mut_output_field_read_field.txt..> 24-Jul-2006 01:21                 212
interprocedural_mut_output_field_read_whole.txt    24-Jul-2006 01:21                 131
interprocedural_mut_output_field_read_whole.txt..> 24-Jul-2006 01:21                 143
interprocedural_mut_output_lifetimes.txt           24-Jul-2006 01:21                 167
interprocedural_mut_output_lifetimes.txt.expected  24-Jul-2006 01:21                 179
interprocedural_mut_output_lifetimes_outlives.txt  24-Jul-2006 01:21                 171
interprocedural_mut_output_lifetimes_outlives.t..> 24-Jul-2006 01:21                 187
interprocedural_output.txt                         24-Jul-2006 01:21                  76
interprocedural_output.txt.expected                24-Jul-2006 01:21                  84
interprocedural_ref_input.txt                      24-Jul-2006 01:21                 123
interprocedural_ref_input.txt.expected             24-Jul-2006 01:21                 127
interprocedural_ref_output.txt                     24-Jul-2006 01:21                 103
interprocedural_ref_output.txt.expected            24-Jul-2006 01:21                 115
issue-54.txt                                       24-Jul-2006 01:21                  91
issue-54.txt.expected                              24-Jul-2006 01:21                  99
iter_foreach.txt                                   24-Jul-2006 01:21                 103
iter_foreach.txt.expected                          24-Jul-2006 01:21                 115
loop_break.txt                                     24-Jul-2006 01:21                 100
loop_break.txt.expected                            24-Jul-2006 01:21                 120
loop_counter.txt                                   24-Jul-2006 01:21                 401
loop_counter.txt.expected                          24-Jul-2006 01:21                 441
macro_print.txt                                    24-Jul-2006 01:21                  56
macro_print.txt.expected                           24-Jul-2006 01:21                  60
macro_read.txt                                     24-Jul-2006 01:21                  47
macro_read.txt.expected                            24-Jul-2006 01:21                  51
macro_rules.txt                                    24-Jul-2006 01:21                  96
macro_rules.txt.expected                           24-Jul-2006 01:21                 100
match_branch.txt                                   24-Jul-2006 01:21                 128
match_branch.txt.expected                          24-Jul-2006 01:21                 136
match_early_return.txt                             24-Jul-2006 01:21                  95
match_early_return.txt.expected                    24-Jul-2006 01:21                 107
match_simple.txt                                   24-Jul-2006 01:21                  99
match_simple.txt.expected                          24-Jul-2006 01:21                 107
match_string.txt                                   24-Jul-2006 01:21                  69
match_string.txt.expected                          24-Jul-2006 01:21                  73
method_simple.txt                                  24-Jul-2006 01:21                 156
method_simple.txt.expected                         24-Jul-2006 01:21                 172
pointer_aliasing.txt                               24-Jul-2006 01:21                  80
pointer_aliasing.txt.expected                      24-Jul-2006 01:21                  96
pointer_copy_and_read.txt                          24-Jul-2006 01:21                  81
pointer_copy_and_read.txt.expected                 24-Jul-2006 01:21                  97
pointer_funcall_nest.txt                           24-Jul-2006 01:21                  76
pointer_funcall_nest.txt.expected                  24-Jul-2006 01:21                  80
pointer_ignore_reads.txt                           24-Jul-2006 01:21                  95
pointer_ignore_reads.txt.expected                  24-Jul-2006 01:21                  99
pointer_increment.txt                              24-Jul-2006 01:21                  68
pointer_increment.txt.expected                     24-Jul-2006 01:21                  80
pointer_multiple_locations.txt                     24-Jul-2006 01:21                 125
pointer_multiple_locations.txt.expected            24-Jul-2006 01:21                 141
pointer_mutate_field.txt                           24-Jul-2006 01:21                  78
pointer_mutate_field.txt.expected                  24-Jul-2006 01:21                  90
pointer_mutate_pointer.txt                         24-Jul-2006 01:21                 122
pointer_mutate_pointer.txt.expected                24-Jul-2006 01:21                 146
pointer_nested.txt                                 24-Jul-2006 01:21                  90
pointer_nested.txt.expected                        24-Jul-2006 01:21                 106
pointer_read.txt                                   24-Jul-2006 01:21                  67
pointer_read.txt.expected                          24-Jul-2006 01:21                  79
pointer_reborrow.txt                               24-Jul-2006 01:21                  90
pointer_reborrow.txt.expected                      24-Jul-2006 01:21                 106
pointer_reborrow_nested.txt                        24-Jul-2006 01:21                 115
pointer_reborrow_nested.txt.expected               24-Jul-2006 01:21                 135
pointer_slice_includes_deref.txt                   24-Jul-2006 01:21                  67
pointer_slice_includes_deref.txt.expected          24-Jul-2006 01:21                  79
pointer_slice_outer.txt                            24-Jul-2006 01:21                  63
pointer_slice_outer.txt.expected                   24-Jul-2006 01:21                  71
pointer_write.txt                                  24-Jul-2006 01:21                  67
pointer_write.txt.expected                         24-Jul-2006 01:21                  79
return_ty.txt                                      24-Jul-2006 01:21                 118
return_ty.txt.expected                             24-Jul-2006 01:21                 134
self_multicall_independent.txt                     24-Jul-2006 01:21                 185
self_multicall_independent.txt.expected            24-Jul-2006 01:21                 193
self_read_independent.txt                          24-Jul-2006 01:21                 125
self_read_independent.txt.expected                 24-Jul-2006 01:21                 137
self_write_independent.txt                         24-Jul-2006 01:21                 138
self_write_independent.txt.expected                24-Jul-2006 01:21                 150
slice_ptr_elem_write.txt                           24-Jul-2006 01:21                  72
slice_ptr_elem_write.txt.expected                  24-Jul-2006 01:21                  84
slice_write.txt                                    24-Jul-2006 01:21                  81
slice_write.txt.expected                           24-Jul-2006 01:21                  93
str_static_lifetime.txt                            24-Jul-2006 01:21                  67
str_static_lifetime.txt.expected                   24-Jul-2006 01:21                  71
string_drop_and_replace.txt                        24-Jul-2006 01:21                  72
string_drop_and_replace.txt.expected               24-Jul-2006 01:21                  76
strong_update_conditional.txt                      24-Jul-2006 01:21                 122
strong_update_conditional.txt.expected             24-Jul-2006 01:21                 138
struct_field_independence.txt                      24-Jul-2006 01:21                 108
struct_field_independence.txt.expected             24-Jul-2006 01:21                 116
struct_field_independence_heap.txt                 24-Jul-2006 01:21                 139
struct_field_independence_heap.txt.expected        24-Jul-2006 01:21                 147
struct_mut_ptr_1.txt                               24-Jul-2006 01:21                 106
struct_mut_ptr_1.txt.expected                      24-Jul-2006 01:21                 118
struct_mut_ptr_function.txt                        24-Jul-2006 01:21                 120
struct_mut_ptr_function.txt.expected               24-Jul-2006 01:21                 132
struct_read_constant.txt                           24-Jul-2006 01:21                  82
struct_read_constant.txt.expected                  24-Jul-2006 01:21                  86
struct_write.txt                                   24-Jul-2006 01:21                  99
struct_write.txt.expected                          24-Jul-2006 01:21                 107
trait_method.txt                                   24-Jul-2006 01:21                  89
trait_method.txt.expected                          24-Jul-2006 01:21                 101
tuple_copy.txt                                     24-Jul-2006 01:21                 369
tuple_copy.txt.expected                            24-Jul-2006 01:21                 389
tuple_field_independence_owned.txt                 24-Jul-2006 01:21                 122
tuple_field_independence_owned.txt.expected        24-Jul-2006 01:21                 130
tuple_field_independence_ref.txt                   24-Jul-2006 01:21                  75
tuple_field_independence_ref.txt.expected          24-Jul-2006 01:21                  83
tuple_field_independence_ref2.txt                  24-Jul-2006 01:21                  75
tuple_field_independence_ref2.txt.expected         24-Jul-2006 01:21                  83
tuple_field_sensitive_constructor.txt              24-Jul-2006 01:21                  68
tuple_field_sensitive_constructor.txt.expected     24-Jul-2006 01:21                  76
tuple_field_sensitive_through_whole_write.txt      24-Jul-2006 01:21                 127
tuple_field_sensitive_through_whole_write.txt.e..> 24-Jul-2006 01:21                 139
tuple_write_field_read_field.txt                   24-Jul-2006 01:21                 109
tuple_write_field_read_field.txt.expected          24-Jul-2006 01:21                 113
tuple_write_field_read_whole.txt                   24-Jul-2006 01:21                 113
tuple_write_field_read_whole.txt.expected          24-Jul-2006 01:21                 121
tuple_write_ptr_field.txt                          24-Jul-2006 01:21                  93
tuple_write_ptr_field.txt.expected                 24-Jul-2006 01:21                 109
tuple_write_whole_read_field.txt                   24-Jul-2006 01:21                  60
tuple_write_whole_read_field.txt.expected          24-Jul-2006 01:21                  64
tuple_write_whole_read_whole.txt                   24-Jul-2006 01:21                  58
tuple_write_whole_read_whole.txt.expected          24-Jul-2006 01:21                  62
unicode.txt                                        24-Jul-2006 01:21                 102
unicode.txt.expected                               24-Jul-2006 01:21                 110
variable_assign.txt                                24-Jul-2006 01:21                 107
variable_assign.txt.expected                       24-Jul-2006 01:21                 111
variable_read.txt                                  24-Jul-2006 01:21                  35
variable_read.txt.expected                         24-Jul-2006 01:21                  39
variable_reassign.txt                              24-Jul-2006 01:21                  91
variable_reassign.txt.expected                     24-Jul-2006 01:21                  99
variable_slice_from_middle.txt                     24-Jul-2006 01:21                  89
variable_slice_from_middle.txt.expected            24-Jul-2006 01:21                  97
variable_slice_lhs.txt                             24-Jul-2006 01:21                  43
variable_slice_lhs.txt.expected                    24-Jul-2006 01:21                  47
variable_slice_sub_exp.txt                         24-Jul-2006 01:21                  64
variable_slice_sub_exp.txt.expected                24-Jul-2006 01:21                  72
variable_slice_whole_exp.txt                       24-Jul-2006 01:21                  52
variable_slice_whole_exp.txt.expected              24-Jul-2006 01:21                  64
vec_read.txt                                       24-Jul-2006 01:21                  65
vec_read.txt.expected                              24-Jul-2006 01:21                  73
while_cond_irrelevant.txt                          24-Jul-2006 01:21                  84
while_cond_irrelevant.txt.expected                 24-Jul-2006 01:21                  88
while_cond_relevant.txt                            24-Jul-2006 01:21                  84
while_cond_relevant.txt.expected                   24-Jul-2006 01:21                 100