Index of /src/bytecode-verifier-transactional-tests-0.3.2/tests/stack_usage_verifier/
../
abort_negative_stack_size.exp 29-Nov-1973 21:33 253
abort_negative_stack_size.mvir 29-Nov-1973 21:33 87
abort_no_return.exp 29-Nov-1973 21:33 231
abort_no_return.mvir 29-Nov-1973 21:33 66
abort_positive_stack_size.exp 29-Nov-1973 21:33 256
abort_positive_stack_size.mvir 29-Nov-1973 21:33 215
consume_stack.exp 29-Nov-1973 21:33 17
consume_stack.mvir 29-Nov-1973 21:33 549
exp_in_if_and_else_branch.exp 29-Nov-1973 21:33 254
exp_in_if_and_else_branch.mvir 29-Nov-1973 21:33 215
function_call_negative_stack_err_1.exp 29-Nov-1973 21:33 256
function_call_negative_stack_err_1.mvir 29-Nov-1973 21:33 283
function_call_negative_stack_err_2.exp 29-Nov-1973 21:33 256
function_call_negative_stack_err_2.mvir 29-Nov-1973 21:33 501
function_composition_pos_and_neg_stack_err.exp 29-Nov-1973 21:33 256
function_composition_pos_and_neg_stack_err.mvir 29-Nov-1973 21:33 667
function_composition_positive_stack_err_1.exp 29-Nov-1973 21:33 256
function_composition_positive_stack_err_1.mvir 29-Nov-1973 21:33 570
function_composition_positive_stack_err_2.exp 29-Nov-1973 21:33 256
function_composition_positive_stack_err_2.mvir 29-Nov-1973 21:33 490
multiple_bindings_negative_stack.exp 29-Nov-1973 21:33 254
multiple_bindings_negative_stack.mvir 29-Nov-1973 21:33 133
multiple_bindings_positive_stack.exp 29-Nov-1973 21:33 253
multiple_bindings_positive_stack.mvir 29-Nov-1973 21:33 117
multiple_return_values.exp 29-Nov-1973 21:33 18
multiple_return_values.mvir 29-Nov-1973 21:33 729
multiple_return_values_extra_binding.exp 29-Nov-1973 21:33 256
multiple_return_values_extra_binding.mvir 29-Nov-1973 21:33 752
multiple_return_values_extra_value.exp 29-Nov-1973 21:33 326
multiple_return_values_extra_value.mvir 29-Nov-1973 21:33 461
multiple_return_values_missing_binding.exp 29-Nov-1973 21:33 256
multiple_return_values_missing_binding.mvir 29-Nov-1973 21:33 626
multiple_return_values_missing_value.exp 29-Nov-1973 21:33 326
multiple_return_values_missing_value.mvir 29-Nov-1973 21:33 433
pop_exact.exp 29-Nov-1973 21:33 17
pop_exact.mvir 29-Nov-1973 21:33 219
pop_negative.exp 29-Nov-1973 21:33 320
pop_negative.mvir 29-Nov-1973 21:33 230
pop_positive.exp 29-Nov-1973 21:33 320
pop_positive.mvir 29-Nov-1973 21:33 226
signer_move_to_extra_arg.exp 29-Nov-1973 21:33 627
signer_move_to_extra_arg.mvir 29-Nov-1973 21:33 474
signer_move_to_missing_resource.exp 29-Nov-1973 21:33 627
signer_move_to_missing_resource.mvir 29-Nov-1973 21:33 365
signer_move_to_missing_signer.exp 29-Nov-1973 21:33 627
signer_move_to_missing_signer.mvir 29-Nov-1973 21:33 385
signer_move_to_no_args.exp 29-Nov-1973 21:33 627
signer_move_to_no_args.mvir 29-Nov-1973 21:33 339
unpack_extra_binding.exp 29-Nov-1973 21:33 326
unpack_extra_binding.mvir 29-Nov-1973 21:33 513
unpack_missing_binding.exp 29-Nov-1973 21:33 326
unpack_missing_binding.mvir 29-Nov-1973 21:33 549
vector_ops_pack_unpack.exp 29-Nov-1973 21:33 967
vector_ops_pack_unpack.mvir 29-Nov-1973 21:33 499