total uncompressed bytes
238.2 KB
total files
308
Fix
298 wasted files
total waste: 205.2 KB
- _old_move_ir_tests/src/tests/epilogue.rs : 17.4 KB
- tests/testsuite/payment_channel/payment_channel_no_fixed_counterparty_multi_hop.mvir : 10.0 KB
- _old_move_ir_tests/src/tests/references.rs : 8.4 KB
- tests/testsuite/wallets/wallet_module.mvir : 7.6 KB
- tests/testsuite/payment_channel/payment_channel_no_fixed_counterparty.mvir : 6.2 KB
- tests/testsuite/payment_channel/payment_channel.mvir : 5.8 KB
- _old_move_ir_tests/src/tests/transaction_scripts.rs : 5.3 KB
- _old_move_ir_tests/src/tests/verify_transaction.rs : 4.5 KB
- src/tests/checker_tests.rs : 3.6 KB
- tests/testsuite/move_getting_started_examples/earmarked_libra.mvir : 3.5 KB
- _old_move_ir_tests/src/tests/prologue.rs : 2.7 KB
- src/tests/transaction_config_tests.rs : 2.5 KB
- _old_move_ir_tests/src/tests/payments.rs : 2.4 KB
- tests/testsuite/module_member_types/field_writes.mvir : 2.3 KB
- _old_move_ir_tests/src/tests/global_ref_count.rs : 2.2 KB
- _old_move_ir_tests/src/tests/key_rotation.rs : 2.2 KB
- tests/testsuite/module_member_types/field_reads.mvir : 2.0 KB
- src/tests/global_config_tests.rs : 1.9 KB
- tests/testsuite/publish/publish_two_modules.mvir : 1.7 KB
- tests/testsuite/move_getting_started_examples/extended_p2p_script.mvir : 1.6 KB
- tests/testsuite/payments/local_split_payment.mvir : 1.5 KB
- tests/testsuite/mutation/mut_call_from_get_resource.mvir : 1.5 KB
- tests/testsuite/payments/multi_payment.mvir : 1.4 KB
- tests/testsuite/builtins/move_published_resource.mvir : 1.4 KB
- tests/testsuite/modules/all_fields_accessible.mvir : 1.3 KB
- tests/testsuite/mutation/assign_local_struct_invalidated.mvir : 1.3 KB
- tests/testsuite/mutation/mint_money.mvir : 1.2 KB
- tests/testsuite/publish/resources_are_distinct_by_published_account.mvir : 1.2 KB
- tests/testsuite/publish/publish_module_and_use.mvir : 1.1 KB
- tests/testsuite/builtins/get_published_resource.mvir : 1.1 KB
- tests/testsuite/method_decorators/internal_function_invalid_call.mvir : 1.0 KB
- src/tests/utils_tests.rs : 1.0 KB
- tests/testsuite/mutation/assign_local_struct.mvir : 1.0 KB
- _old_move_ir_tests/src/tests/transactions.rs : 1.0 KB
- tests/testsuite/publish/use_modules_published.mvir : 1.0 KB
- tests/testsuite/examples/multiple_transactions.mvir : 996 B
- tests/testsuite/payments/withdraw_then_deposit_payment.mvir : 985 B
- tests/testsuite/expressions/cant_deref_resource.mvir : 985 B
- tests/testsuite/mutation/assign_struct_field.mvir : 984 B
- tests/testsuite/method_decorators/non_internal_function_valid_call.mvir : 980 B
- tests/testsuite/mutation/use_suffix_after_move.mvir : 972 B
- tests/testsuite/mutation/mutate_resource_holder_2.mvir : 957 B
- tests/testsuite/expressions/cant_borrow_field_of_resource.mvir : 942 B
- tests/testsuite/mutation/use_after_move.mvir : 925 B
- tests/testsuite/module_member_types/invalid_resource_write.mvir : 919 B
- tests/testsuite/mutation/mutate_resource_holder.mvir : 918 B
- tests/testsuite/function_calls/many_function_calls_as_args.mvir : 910 B
- tests/testsuite/mutation/mut_call_with_imm_ref.mvir : 899 B
- tests/testsuite/natives/primitive_helper_bytearray_concat.mvir : 887 B
- tests/testsuite/move_getting_started_examples/create_account_script.mvir : 879 B
- tests/testsuite/mutation/nested_mutate.mvir : 869 B
- tests/testsuite/payments/peer_to_peer_payment.mvir : 865 B
- tests/testsuite/expressions/address_equality.mvir : 857 B
- tests/testsuite/mutation/assign_resource_type.mvir : 842 B
- tests/testsuite/mutation/use_prefix_after_move.mvir : 834 B
- tests/testsuite/move_getting_started_examples/multi_payment_script.mvir : 829 B
- tests/testsuite/commands/unpack_resource.mvir : 812 B
- tests/testsuite/builtins/has_published_struct.mvir : 809 B
- tests/testsuite/recursion/mutual_recursion.mvir : 805 B
- tests/testsuite/expressions/deref_value_nested.mvir : 799 B
- tests/testsuite/global_ref_count/decrement_emit_event.mvir : 780 B
- tests/testsuite/commands/unpack_extra_binding.mvir : 766 B
- tests/testsuite/payments/check_balance_after_withdraw.mvir : 758 B
- tests/testsuite/expressions/equality_reference_value.mvir : 756 B
- tests/testsuite/mutation/mut_borrow_from_imm_ref.mvir : 738 B
- tests/testsuite/examples/multiple_stages.mvir : 736 B
- tests/testsuite/expressions/multiple_return_values_extra_binding.mvir : 732 B
- tests/testsuite/natives/signature_ed25519_bad_sig.mvir : 723 B
- tests/testsuite/natives/signature_ed25519_bad_pk.mvir : 723 B
- tests/testsuite/natives/signature_ed25519_bad_msg.mvir : 723 B
- tests/testsuite/natives/signature_ed25519.mvir : 722 B
- tests/testsuite/commands/unpack_missing_binding.mvir : 720 B
- tests/testsuite/builtins/get_missing_struct.mvir : 716 B
- tests/testsuite/expressions/multiple_return_values_extra_value.mvir : 709 B
- tests/testsuite/expressions/multiple_return_values_missing_value.mvir : 701 B
- tests/testsuite.rs : 699 B
- tests/testsuite/function_calls/function_composition.mvir : 678 B
- tests/testsuite/mutation/read_field_after_assign_local.mvir : 666 B
- tests/testsuite/recursion/direct_recursion.mvir : 665 B
- tests/testsuite/mutation/assign_field_after_local.mvir : 657 B
- tests/testsuite/expressions/multiple_return_values_missing_binding.mvir : 657 B
- tests/testsuite/payments/market_cap.mvir : 653 B
- tests/testsuite/function_calls/function_composition_pos_and_neg_stack_err.mvir : 647 B
- tests/testsuite/builtins/create_account_and_get_sequence_number.mvir : 641 B
- tests/testsuite/mutation/unused_resource_holder.mvir : 629 B
- tests/testsuite/builtins/create_account_and_get_balance.mvir : 616 B
- tests/testsuite/global_ref_count/decrement_dereference.mvir : 610 B
- tests/testsuite/builtins/create_account.mvir : 610 B
- tests/testsuite/global_ref_count/decrement_write.mvir : 605 B
- tests/testsuite/expressions/multiple_return_values.mvir : 600 B
- tests/testsuite/function_calls/function_composition_positive_stack_err_1.mvir : 581 B
- tests/testsuite/examples/use_module_published_in_previous_transaction.mvir : 573 B
- tests/testsuite/function_calls/return_function_in_if_binop_in_else.mvir : 570 B
- tests/testsuite/mutate_tests/mutate_borrow_field_ok.mvir : 566 B
- tests/testsuite/borrow_tests/borrow_field_ok.mvir : 562 B
- tests/testsuite/mutation/destroy_resource_holder.mvir : 561 B
- tests/testsuite/function_calls/binop_function_calls_as_args.mvir : 542 B
- tests/testsuite/function_calls/add_function_calls.mvir : 518 B
- tests/testsuite/commands/if_branch_diverges_5.mvir : 518 B
- tests/testsuite/function_calls/multiple_composite_functions.mvir : 513 B
- src/tests/mod.rs : 511 B
- tests/testsuite/mutate_tests/mutate_move_ok.mvir : 506 B
- tests/testsuite/function_calls/function_call_negative_stack_err_2.mvir : 488 B
- tests/testsuite/commands/local_assigned_many_times.mvir : 485 B
- tests/testsuite/mutation/simple_mutate.mvir : 479 B
- tests/testsuite/module_member_types/invalid_field_write.mvir : 478 B
- tests/testsuite/borrow_tests/borrow_move_ok.mvir : 473 B
- tests/testsuite/function_calls/function_composition_positive_stack_err_2.mvir : 467 B
- tests/testsuite/expressions/deref_value.mvir : 466 B
- tests/testsuite/module_member_types/resource_instantiate_bad_type.mvir : 465 B
- tests/testsuite/commands/unpack_wrong_type.mvir : 457 B
- tests/testsuite/prologue/get_txn_sequence_number.mvir : 452 B
- tests/testsuite/dereference_tests/deref_move_module_ok.mvir : 450 B
- tests/testsuite/borrow_tests/borrow_copy_ok.mvir : 434 B
- tests/testsuite/function_calls/push_args_before_function_composition.mvir : 429 B
- tests/testsuite/mutation/return_local_ref.mvir : 427 B
- tests/testsuite/function_calls/assign_function_call.mvir : 420 B
- tests/testsuite/natives/primitive_helper_address_to_bytes.mvir : 418 B
- tests/testsuite/borrow_tests/borrow_local_bad.mvir : 416 B
- tests/testsuite/operators/comparison_operators.mvir : 413 B
- tests/testsuite/function_calls/return_expression_lists.mvir : 413 B
- tests/testsuite/module_member_types/unrestricted_instantiate.mvir : 409 B
- tests/testsuite/dereference_tests/deref_borrow_field_ok.mvir : 406 B
- tests/testsuite/payments/minting.mvir : 403 B
- tests/testsuite/mutation/assign_local_resource.mvir : 400 B
- tests/testsuite/borrow_tests/borrow_parens_ok.mvir : 398 B
- tests/testsuite/failure/failure_rollover.mvir : 390 B
- tests/testsuite/function_calls/push_args_before_function_call.mvir : 381 B
- tests/testsuite/mutation/read_local_ref_after_assign.mvir : 376 B
- tests/testsuite/modules/get_resource_internal.mvir : 371 B
- tests/testsuite/builtins/get_missing_account.mvir : 356 B
- tests/testsuite/modules/publish_resource_internal.mvir : 352 B
- tests/testsuite/commands/break_continue_sum_of_odds.mvir : 347 B
- tests/testsuite/mutate_tests/two_mutable_ref.mvir : 346 B
- tests/testsuite/builtins/get_txn_public_key.mvir : 346 B
- tests/testsuite/natives/check_native_keccak256.mvir : 344 B
- tests/testsuite/natives/check_native_sha3_256.mvir : 343 B
- tests/testsuite/natives/check_native_sha2_256.mvir : 343 B
- tests/testsuite/module_member_types/procedure_return_invalid_subtype.mvir : 339 B
- tests/testsuite/modules/get_resource_internal_bypass.mvir : 336 B
- tests/testsuite/mutation/assign_local_resource_twice.mvir : 333 B
- tests/testsuite/expressions/equality_resource_refs.mvir : 331 B
- tests/testsuite/modules/has_resource_internal.mvir : 330 B
- tests/testsuite/commands/dead_return.mvir : 321 B
- tests/testsuite/natives/check_native_ripemd160.mvir : 320 B
- tests/testsuite/module_member_types/unrestricted_instantiate_bad_type.mvir : 316 B
- tests/testsuite/commands/return_in_if_branch_taken.mvir : 316 B
- tests/testsuite/natives/primitive_helper_u64_to_bytes.mvir : 315 B
- tests/testsuite/examples/gas_submitted_too_low.mvir : 313 B
- tests/testsuite/function_calls/function_call_negative_stack_err_1.mvir : 312 B
- tests/testsuite/module_member_types/procedure_args_subtype.mvir : 306 B
- tests/testsuite/commands/while_move_local_2.mvir : 304 B
- tests/testsuite/commands/while_nested.mvir : 294 B
- tests/testsuite/commands/unpack_top_level.mvir : 286 B
- tests/testsuite/builtins/freeze_makes_imm.mvir : 285 B
- tests/testsuite/expressions/equality_resource_values.mvir : 282 B
- tests/testsuite/builtins/freeze_wrong_type.mvir : 281 B
- tests/testsuite/commands/if_branch_diverges_8.mvir : 271 B
- tests/testsuite/module_member_types/procedure_return_invalid_type.mvir : 269 B
- tests/testsuite/mutation/type_error_after_branch.mvir : 267 B
- tests/testsuite/function_calls/assign_expression_list.mvir : 263 B
- tests/testsuite/builtins/release.mvir : 261 B
- tests/testsuite/commands/if_branch_diverges_6.mvir : 260 B
- tests/testsuite/payments/check_balance.mvir : 259 B
- tests/testsuite/mutation/assign_local_after_move.mvir : 259 B
- tests/testsuite/builtins/freeze_on_imm.mvir : 259 B
- tests/testsuite/dereference_tests/deref_copy_bad.mvir : 258 B
- tests/testsuite/commands/while_move_local.mvir : 258 B
- tests/testsuite/examples/transfer_money.mvir : 257 B
- tests/testsuite/commands/break_nested.mvir : 255 B
- tests/testsuite/function_calls/pass_args_on_stack_as_expressions.mvir : 254 B
- tests/testsuite/commands/return_in_if_branch_taken_no_else.mvir : 253 B
- tests/testsuite/module_member_types/procedure_args.mvir : 248 B
- tests/testsuite/publish/publish_duplicate_modules.mvir : 244 B
- tests/testsuite/mutate_tests/mutate_parens_ok.mvir : 240 B
- tests/testsuite/modules/access_private_function.mvir : 238 B
- tests/testsuite/commands/assign_in_one_if_branch.mvir : 237 B
- tests/testsuite/commands/branch_assigns_then_moves.mvir : 236 B
- tests/testsuite/commands/break_continue_simple.mvir : 232 B
- tests/testsuite/transactions/tx_two_args_good2.mvir : 230 B
- tests/testsuite/transactions/tx_two_args_good1.mvir : 228 B
- tests/testsuite/transactions/tx_three_args_good1.mvir : 228 B
- tests/testsuite/operators/boolean_operators.mvir : 223 B
- tests/testsuite/mutation/assign_local_value.mvir : 219 B
- tests/testsuite/mutate_tests/mutate_copy_ok.mvir : 219 B
- tests/testsuite/commands/if_branch_diverges_9.mvir : 216 B
- tests/testsuite/commands/if_branch_diverges_7.mvir : 215 B
- tests/testsuite/commands/if_assigns_else_doesnt.mvir : 215 B
- tests/testsuite/commands/else_assigns_if_doesnt.mvir : 214 B
- tests/testsuite/commands/abort_positive_stack_size.mvir : 211 B
- tests/testsuite/commands/deep_return_branch_doesnt_assign.mvir : 209 B
- tests/testsuite/builtins/get_txn_sender.mvir : 209 B
- tests/testsuite/borrow_tests/borrow_x_in_if_y_in_else.mvir : 207 B
- tests/testsuite/borrow_tests/borrow_if.mvir : 207 B
- tests/testsuite/mutation/no_borrow_ref.mvir : 206 B
- tests/testsuite/commands/if_moves_no_else.mvir : 202 B
- tests/testsuite/function_calls/exp_in_if_and_else_branch.mvir : 201 B
- tests/testsuite/module_member_types/unrestricted_has_resource_field.mvir : 200 B
- tests/testsuite/expressions/equality_one_ref.mvir : 200 B
- tests/testsuite/mutation/read_local_ref_after_move.mvir : 198 B
- tests/testsuite/commands/else_moves_if_doesnt.mvir : 197 B
- tests/testsuite/commands/if_moves_else_doesnt.mvir : 196 B
- tests/testsuite/commands/if_branch_diverges_4.mvir : 196 B
- tests/testsuite/dereference_tests/deref_parens_ok.mvir : 192 B
- tests/testsuite/modules/module_struct_shared_name.mvir : 189 B
- tests/testsuite/commands/assign_resource.mvir : 189 B
- tests/testsuite/commands/branch_assigns_then_moves_then_assigns.mvir : 188 B
- tests/testsuite/modules/access_public_function.mvir : 187 B
- tests/testsuite/commands/break_accumulator.mvir : 187 B
- tests/testsuite/commands/abort_unreleased_reference.mvir : 186 B
- tests/testsuite/commands/if_branch_diverges_3.mvir : 184 B
- tests/testsuite/builtins/freeze_valid.mvir : 183 B
- tests/testsuite/commands/while_nested_return.mvir : 182 B
- tests/testsuite/commands/if_branch_diverges_10.mvir : 180 B
- tests/testsuite/commands/abort_unused_resource.mvir : 180 B
- tests/testsuite/commands/assign_wrong_if_branch.mvir : 179 B
- tests/testsuite/transactions/tx_two_args_bad5.mvir : 174 B
- tests/testsuite/commands/if_assigns_no_else.mvir : 171 B
- tests/testsuite/function_calls/multiple_bindings_negative_stack.mvir : 166 B
- tests/testsuite/transactions/tx_two_args_bad4.mvir : 165 B
- tests/testsuite/commands/break_unreachable.mvir : 165 B
- tests/testsuite/payments/cant_recreate_market_cap.mvir : 158 B
- tests/testsuite/commands/return_branch_moves.mvir : 158 B
- tests/testsuite/commands/loop_nested_breaks.mvir : 157 B
- tests/testsuite/operators/overflow_via_addition.mvir : 156 B
- tests/testsuite/transactions/tx_two_args_bad2.mvir : 155 B
- tests/testsuite/operators/arithmetic_operators.mvir : 155 B
- tests/testsuite/transactions/tx_two_args_bad3.mvir : 153 B
- tests/testsuite/commands/assign_wrong_type.mvir : 151 B
- tests/testsuite/operators/overflow_via_multiplication.mvir : 150 B
- tests/testsuite/modules/modules_not_a_type.mvir : 150 B
- tests/testsuite/dereference_tests/deref_not_reference_bad.mvir : 150 B
- tests/testsuite/commands/no_let_outside_if.mvir : 150 B
- tests/testsuite/builtins/verify_valid_bytearray.mvir : 149 B
- tests/testsuite/operators/mod_by_zero.mvir : 147 B
- tests/testsuite/operators/division_by_zero.mvir : 147 B
- tests/testsuite/dereference_tests/deref_non_reference.mvir : 147 B
- tests/testsuite/data_types/empty_structs.mvir : 146 B
- tests/testsuite/commands/invalid_fallthrough3.mvir : 146 B
- tests/testsuite/commands/break_simple.mvir : 145 B
- tests/testsuite/function_calls/multiple_bindings_positive_stack.mvir : 144 B
- tests/testsuite/commands/if_branch_diverges_2.mvir : 144 B
- tests/testsuite/commands/assign_wrong_if_branch_no_else.mvir : 140 B
- tests/testsuite/operators/underflow_via_subtraction.mvir : 138 B
- tests/testsuite/commands/if_branch_diverges_1.mvir : 138 B
- tests/testsuite/commands/while_simple.mvir : 137 B
- tests/testsuite/commands/return_branch_doesnt_assign.mvir : 137 B
- tests/testsuite/commands/loop_simple.mvir : 137 B
- tests/testsuite/commands/use_before_assign.mvir : 135 B
- tests/testsuite/commands/move_before_assign.mvir : 135 B
- tests/testsuite/modules/duplicate_struct_name.mvir : 130 B
- tests/testsuite/transactions/tx_one_arg_bad3.mvir : 129 B
- tests/testsuite/commands/return_in_if_branch_taken_local.mvir : 128 B
- tests/testsuite/builtins/get_txn_gas_unit_price.mvir : 127 B
- tests/testsuite/builtins/get_txn_max_gas_units.mvir : 126 B
- tests/testsuite/transactions/tx_one_arg_bad2.mvir : 125 B
- tests/testsuite/modules/mutual_recursive_struct.mvir : 124 B
- tests/testsuite/modules/function_in_struct.mvir : 124 B
- tests/testsuite/modules/duplicate_function_name.mvir : 124 B
- tests/testsuite/commands/if_without_braces_3.mvir : 123 B
- tests/testsuite/commands/if_without_braces_2.mvir : 123 B
- tests/testsuite/dereference_tests/deref_move_ok.mvir : 122 B
- tests/testsuite/examples/simple.mvir : 120 B
- tests/testsuite/commands/while_false.mvir : 119 B
- tests/testsuite/operators/boolean_not_non_boolean.mvir : 118 B
- tests/testsuite/commands/if_without_braces_1.mvir : 115 B
- tests/testsuite/commands/assign_move.mvir : 114 B
- tests/testsuite/commands/assign_copy.mvir : 114 B
- tests/testsuite/transactions/tx_no_args_bad1.mvir : 113 B
- tests/testsuite/commands/break_outside_loop_in_else.mvir : 108 B
- tests/testsuite/transactions/tx_one_arg_bad1.mvir : 107 B
- tests/testsuite/commands/invalid_fallthrough2.mvir : 103 B
- tests/testsuite/operators/bitwise_operators.mvir : 102 B
- tests/testsuite/commands/dead_return_local.mvir : 100 B
- tests/testsuite/mutate_tests/mutate_borrow_local_ok.mvir : 96 B
- tests/testsuite/commands/continue_outside_loop_in_if.mvir : 96 B
- tests/testsuite/commands/abort_no_return.mvir : 96 B
- tests/testsuite/publish/publish_existing_module.mvir : 92 B
- tests/testsuite/commands/while_return.mvir : 91 B
- tests/testsuite/commands/if_without_braces_4.mvir : 91 B
- tests/testsuite/commands/no_rebind.mvir : 90 B
- tests/testsuite/commands/break_outside_loop_in_if.mvir : 90 B
- tests/testsuite/commands/abort_negative_stack_size.mvir : 89 B
- tests/testsuite/commands/loop_return.mvir : 83 B
- tests/testsuite/dereference_tests/deref_borrow_local_ok.mvir : 80 B
- tests/testsuite/module_member_types/resource_has_resource_field.mvir : 78 B
- tests/testsuite/transactions/tx_one_arg_good1.mvir : 76 B
- tests/testsuite/comments/multiple_single_line_comments_own_line.mvir : 73 B
- tests/testsuite/comments/multiple_single_line_comments_mixed.mvir : 71 B
- tests/testsuite/commands/continue_outside_loop.mvir : 70 B
- tests/testsuite/commands/invalid_fallthrough1.mvir : 69 B
- tests/testsuite/examples/no_execute.mvir : 67 B
- tests/testsuite/commands/break_outside_loop.mvir : 64 B
- tests/testsuite/transactions/tx_no_args_good.mvir : 58 B
- tests/testsuite/comments/single_line_comment_own_line.mvir : 44 B
- tests/testsuite/comments/single_line_comment_line.mvir : 42 B
- tests/testsuite/comments/multi_line_comment_commented_by_single_line_comment.mvir : 37 B
- tests/testsuite/examples/script.mvir : 23 B