Index of /src/bytecode-verifier-transactional-tests-0.3.2/tests/locals_safety/
../
abort_unreleased_reference.exp 29-Nov-1973 21:33 231
abort_unreleased_reference.mvir 29-Nov-1973 21:33 152
abort_unused_resource.exp 29-Nov-1973 21:33 225
abort_unused_resource.mvir 29-Nov-1973 21:33 259
assign_copy.exp 29-Nov-1973 21:33 17
assign_copy.mvir 29-Nov-1973 21:33 167
assign_in_one_if_branch.exp 29-Nov-1973 21:33 248
assign_in_one_if_branch.mvir 29-Nov-1973 21:33 285
assign_move.exp 29-Nov-1973 21:33 17
assign_move.mvir 29-Nov-1973 21:33 167
assign_resource.exp 29-Nov-1973 21:33 253
assign_resource.mvir 29-Nov-1973 21:33 276
assign_wrong_if_branch.exp 29-Nov-1973 21:33 248
assign_wrong_if_branch.mvir 29-Nov-1973 21:33 210
assign_wrong_if_branch_no_else.exp 29-Nov-1973 21:33 247
assign_wrong_if_branch_no_else.mvir 29-Nov-1973 21:33 168
branch_assigns_then_moves.exp 29-Nov-1973 21:33 247
branch_assigns_then_moves.mvir 29-Nov-1973 21:33 228
branch_assigns_then_moves_then_assigns.exp 29-Nov-1973 21:33 17
branch_assigns_then_moves_then_assigns.mvir 29-Nov-1973 21:33 237
deep_return_branch_doesnt_assign.exp 29-Nov-1973 21:33 17
deep_return_branch_doesnt_assign.mvir 29-Nov-1973 21:33 273
else_assigns_if_doesnt.exp 29-Nov-1973 21:33 247
else_assigns_if_doesnt.mvir 29-Nov-1973 21:33 212
else_moves_if_doesnt.exp 29-Nov-1973 21:33 247
else_moves_if_doesnt.mvir 29-Nov-1973 21:33 228
if_assigns_else_doesnt.exp 29-Nov-1973 21:33 247
if_assigns_else_doesnt.mvir 29-Nov-1973 21:33 213
if_assigns_no_else.exp 29-Nov-1973 21:33 247
if_assigns_no_else.mvir 29-Nov-1973 21:33 193
if_moves_else_doesnt.exp 29-Nov-1973 21:33 247
if_moves_else_doesnt.mvir 29-Nov-1973 21:33 252
if_moves_no_else.exp 29-Nov-1973 21:33 247
if_moves_no_else.mvir 29-Nov-1973 21:33 200
join_failure.exp 29-Nov-1973 21:33 1526
join_failure.mvir 29-Nov-1973 21:33 2023
move_before_assign.exp 29-Nov-1973 21:33 247
move_before_assign.mvir 29-Nov-1973 21:33 147
return_branch_doesnt_assign.exp 29-Nov-1973 21:33 17
return_branch_doesnt_assign.mvir 29-Nov-1973 21:33 193
return_branch_moves.exp 29-Nov-1973 21:33 17
return_branch_moves.mvir 29-Nov-1973 21:33 208
signer_st_loc_partial.exp 29-Nov-1973 21:33 17
signer_st_loc_partial.mvir 29-Nov-1973 21:33 417
signer_unused.exp 29-Nov-1973 21:33 17
signer_unused.mvir 29-Nov-1973 21:33 145
signer_unused_partial.exp 29-Nov-1973 21:33 17
signer_unused_partial.mvir 29-Nov-1973 21:33 348
use_before_assign.exp 29-Nov-1973 21:33 246
use_before_assign.mvir 29-Nov-1973 21:33 110
vector_ops_non_droppable_resource_not_destroyed..> 29-Nov-1973 21:33 325
vector_ops_non_droppable_resource_not_destroyed..> 29-Nov-1973 21:33 175
while_move_local.exp 29-Nov-1973 21:33 247
while_move_local.mvir 29-Nov-1973 21:33 302
while_move_local_2.exp 29-Nov-1973 21:33 247
while_move_local_2.mvir 29-Nov-1973 21:33 379