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