Index of /src/solana_libra_functional_tests-0.0.0-sol15/tests/testsuite/commands/


../
abort_negative_stack_size.mvir                     18-Jul-2019 21:18                  89
abort_no_return.mvir                               18-Jul-2019 21:18                  96
abort_positive_stack_size.mvir                     18-Jul-2019 21:18                 211
abort_unreleased_reference.mvir                    18-Jul-2019 21:18                 186
abort_unused_resource.mvir                         18-Jul-2019 21:18                 180
assign_copy.mvir                                   18-Jul-2019 21:18                 114
assign_in_one_if_branch.mvir                       18-Jul-2019 21:18                 237
assign_move.mvir                                   18-Jul-2019 21:18                 114
assign_resource.mvir                               18-Jul-2019 21:18                 189
assign_wrong_if_branch.mvir                        18-Jul-2019 21:18                 179
assign_wrong_if_branch_no_else.mvir                18-Jul-2019 21:18                 140
assign_wrong_type.mvir                             18-Jul-2019 21:18                 151
branch_assigns_then_moves.mvir                     18-Jul-2019 21:18                 236
branch_assigns_then_moves_then_assigns.mvir        18-Jul-2019 21:18                 188
break_accumulator.mvir                             18-Jul-2019 21:18                 187
break_continue_simple.mvir                         18-Jul-2019 21:18                 232
break_continue_sum_of_odds.mvir                    18-Jul-2019 21:18                 347
break_nested.mvir                                  18-Jul-2019 21:18                 255
break_outside_loop.mvir                            18-Jul-2019 21:18                  64
break_outside_loop_in_else.mvir                    18-Jul-2019 21:18                 108
break_outside_loop_in_if.mvir                      18-Jul-2019 21:18                  90
break_simple.mvir                                  18-Jul-2019 21:18                 145
break_unreachable.mvir                             18-Jul-2019 21:18                 165
continue_outside_loop.mvir                         18-Jul-2019 21:18                  70
continue_outside_loop_in_if.mvir                   18-Jul-2019 21:18                  96
dead_return.mvir                                   18-Jul-2019 21:18                 321
dead_return_local.mvir                             18-Jul-2019 21:18                 100
deep_return_branch_doesnt_assign.mvir              18-Jul-2019 21:18                 209
else_assigns_if_doesnt.mvir                        18-Jul-2019 21:18                 214
else_moves_if_doesnt.mvir                          18-Jul-2019 21:18                 197
if_assigns_else_doesnt.mvir                        18-Jul-2019 21:18                 215
if_assigns_no_else.mvir                            18-Jul-2019 21:18                 171
if_branch_diverges_1.mvir                          18-Jul-2019 21:18                 138
if_branch_diverges_10.mvir                         18-Jul-2019 21:18                 180
if_branch_diverges_2.mvir                          18-Jul-2019 21:18                 144
if_branch_diverges_3.mvir                          18-Jul-2019 21:18                 184
if_branch_diverges_4.mvir                          18-Jul-2019 21:18                 196
if_branch_diverges_5.mvir                          18-Jul-2019 21:18                 518
if_branch_diverges_6.mvir                          18-Jul-2019 21:18                 260
if_branch_diverges_7.mvir                          18-Jul-2019 21:18                 215
if_branch_diverges_8.mvir                          18-Jul-2019 21:18                 271
if_branch_diverges_9.mvir                          18-Jul-2019 21:18                 216
if_moves_else_doesnt.mvir                          18-Jul-2019 21:18                 196
if_moves_no_else.mvir                              18-Jul-2019 21:18                 202
if_without_braces_1.mvir                           18-Jul-2019 21:18                 115
if_without_braces_2.mvir                           18-Jul-2019 21:18                 123
if_without_braces_3.mvir                           18-Jul-2019 21:18                 123
if_without_braces_4.mvir                           18-Jul-2019 21:18                  91
invalid_fallthrough1.mvir                          25-Jul-2019 19:10                  69
invalid_fallthrough2.mvir                          25-Jul-2019 19:10                 103
invalid_fallthrough3.mvir                          25-Jul-2019 19:10                 146
local_assigned_many_times.mvir                     18-Jul-2019 21:18                 485
loop_nested_breaks.mvir                            18-Jul-2019 21:18                 157
loop_return.mvir                                   18-Jul-2019 21:18                  83
loop_simple.mvir                                   18-Jul-2019 21:18                 137
move_before_assign.mvir                            18-Jul-2019 21:18                 135
no_let_outside_if.mvir                             18-Jul-2019 21:18                 150
no_rebind.mvir                                     18-Jul-2019 21:18                  90
return_branch_doesnt_assign.mvir                   18-Jul-2019 21:18                 137
return_branch_moves.mvir                           18-Jul-2019 21:18                 158
return_in_if_branch_taken.mvir                     18-Jul-2019 21:18                 316
return_in_if_branch_taken_local.mvir               18-Jul-2019 21:18                 128
return_in_if_branch_taken_no_else.mvir             18-Jul-2019 21:18                 253
unpack_extra_binding.mvir                          18-Jul-2019 21:18                 766
unpack_missing_binding.mvir                        18-Jul-2019 21:18                 720
unpack_resource.mvir                               18-Jul-2019 21:18                 812
unpack_top_level.mvir                              18-Jul-2019 21:18                 286
unpack_wrong_type.mvir                             18-Jul-2019 21:18                 457
use_before_assign.mvir                             18-Jul-2019 21:18                 135
while_false.mvir                                   18-Jul-2019 21:18                 119
while_move_local.mvir                              18-Jul-2019 21:18                 258
while_move_local_2.mvir                            18-Jul-2019 21:18                 304
while_nested.mvir                                  18-Jul-2019 21:18                 294
while_nested_return.mvir                           18-Jul-2019 21:18                 182
while_return.mvir                                  18-Jul-2019 21:18                  91
while_simple.mvir                                  18-Jul-2019 21:18                 137