Ugly Alpha 1
solana_libra_functional_tests:0.0.0-sol15

total uncompressed bytes

238.2 KB

total files

308

Fix

NewInclude { include: [ "src/**/*", "README.md", "!**/tests/*", ], has_build_script: false, }

298 wasted files

total waste: 205.2 KB

  1. _old_move_ir_tests/src/tests/epilogue.rs : 17.4 KB
  2. tests/testsuite/payment_channel/payment_channel_no_fixed_counterparty_multi_hop.mvir : 10.0 KB
  3. _old_move_ir_tests/src/tests/references.rs : 8.4 KB
  4. tests/testsuite/wallets/wallet_module.mvir : 7.6 KB
  5. tests/testsuite/payment_channel/payment_channel_no_fixed_counterparty.mvir : 6.2 KB
  6. tests/testsuite/payment_channel/payment_channel.mvir : 5.8 KB
  7. _old_move_ir_tests/src/tests/transaction_scripts.rs : 5.3 KB
  8. _old_move_ir_tests/src/tests/verify_transaction.rs : 4.5 KB
  9. src/tests/checker_tests.rs : 3.6 KB
  10. tests/testsuite/move_getting_started_examples/earmarked_libra.mvir : 3.5 KB
  11. _old_move_ir_tests/src/tests/prologue.rs : 2.7 KB
  12. src/tests/transaction_config_tests.rs : 2.5 KB
  13. _old_move_ir_tests/src/tests/payments.rs : 2.4 KB
  14. tests/testsuite/module_member_types/field_writes.mvir : 2.3 KB
  15. _old_move_ir_tests/src/tests/global_ref_count.rs : 2.2 KB
  16. _old_move_ir_tests/src/tests/key_rotation.rs : 2.2 KB
  17. tests/testsuite/module_member_types/field_reads.mvir : 2.0 KB
  18. src/tests/global_config_tests.rs : 1.9 KB
  19. tests/testsuite/publish/publish_two_modules.mvir : 1.7 KB
  20. tests/testsuite/move_getting_started_examples/extended_p2p_script.mvir : 1.6 KB
  21. tests/testsuite/payments/local_split_payment.mvir : 1.5 KB
  22. tests/testsuite/mutation/mut_call_from_get_resource.mvir : 1.5 KB
  23. tests/testsuite/payments/multi_payment.mvir : 1.4 KB
  24. tests/testsuite/builtins/move_published_resource.mvir : 1.4 KB
  25. tests/testsuite/modules/all_fields_accessible.mvir : 1.3 KB
  26. tests/testsuite/mutation/assign_local_struct_invalidated.mvir : 1.3 KB
  27. tests/testsuite/mutation/mint_money.mvir : 1.2 KB
  28. tests/testsuite/publish/resources_are_distinct_by_published_account.mvir : 1.2 KB
  29. tests/testsuite/publish/publish_module_and_use.mvir : 1.1 KB
  30. tests/testsuite/builtins/get_published_resource.mvir : 1.1 KB
  31. tests/testsuite/method_decorators/internal_function_invalid_call.mvir : 1.0 KB
  32. src/tests/utils_tests.rs : 1.0 KB
  33. tests/testsuite/mutation/assign_local_struct.mvir : 1.0 KB
  34. _old_move_ir_tests/src/tests/transactions.rs : 1.0 KB
  35. tests/testsuite/publish/use_modules_published.mvir : 1.0 KB
  36. tests/testsuite/examples/multiple_transactions.mvir : 996 B
  37. tests/testsuite/payments/withdraw_then_deposit_payment.mvir : 985 B
  38. tests/testsuite/expressions/cant_deref_resource.mvir : 985 B
  39. tests/testsuite/mutation/assign_struct_field.mvir : 984 B
  40. tests/testsuite/method_decorators/non_internal_function_valid_call.mvir : 980 B
  41. tests/testsuite/mutation/use_suffix_after_move.mvir : 972 B
  42. tests/testsuite/mutation/mutate_resource_holder_2.mvir : 957 B
  43. tests/testsuite/expressions/cant_borrow_field_of_resource.mvir : 942 B
  44. tests/testsuite/mutation/use_after_move.mvir : 925 B
  45. tests/testsuite/module_member_types/invalid_resource_write.mvir : 919 B
  46. tests/testsuite/mutation/mutate_resource_holder.mvir : 918 B
  47. tests/testsuite/function_calls/many_function_calls_as_args.mvir : 910 B
  48. tests/testsuite/mutation/mut_call_with_imm_ref.mvir : 899 B
  49. tests/testsuite/natives/primitive_helper_bytearray_concat.mvir : 887 B
  50. tests/testsuite/move_getting_started_examples/create_account_script.mvir : 879 B
  51. tests/testsuite/mutation/nested_mutate.mvir : 869 B
  52. tests/testsuite/payments/peer_to_peer_payment.mvir : 865 B
  53. tests/testsuite/expressions/address_equality.mvir : 857 B
  54. tests/testsuite/mutation/assign_resource_type.mvir : 842 B
  55. tests/testsuite/mutation/use_prefix_after_move.mvir : 834 B
  56. tests/testsuite/move_getting_started_examples/multi_payment_script.mvir : 829 B
  57. tests/testsuite/commands/unpack_resource.mvir : 812 B
  58. tests/testsuite/builtins/has_published_struct.mvir : 809 B
  59. tests/testsuite/recursion/mutual_recursion.mvir : 805 B
  60. tests/testsuite/expressions/deref_value_nested.mvir : 799 B
  61. tests/testsuite/global_ref_count/decrement_emit_event.mvir : 780 B
  62. tests/testsuite/commands/unpack_extra_binding.mvir : 766 B
  63. tests/testsuite/payments/check_balance_after_withdraw.mvir : 758 B
  64. tests/testsuite/expressions/equality_reference_value.mvir : 756 B
  65. tests/testsuite/mutation/mut_borrow_from_imm_ref.mvir : 738 B
  66. tests/testsuite/examples/multiple_stages.mvir : 736 B
  67. tests/testsuite/expressions/multiple_return_values_extra_binding.mvir : 732 B
  68. tests/testsuite/natives/signature_ed25519_bad_sig.mvir : 723 B
  69. tests/testsuite/natives/signature_ed25519_bad_pk.mvir : 723 B
  70. tests/testsuite/natives/signature_ed25519_bad_msg.mvir : 723 B
  71. tests/testsuite/natives/signature_ed25519.mvir : 722 B
  72. tests/testsuite/commands/unpack_missing_binding.mvir : 720 B
  73. tests/testsuite/builtins/get_missing_struct.mvir : 716 B
  74. tests/testsuite/expressions/multiple_return_values_extra_value.mvir : 709 B
  75. tests/testsuite/expressions/multiple_return_values_missing_value.mvir : 701 B
  76. tests/testsuite.rs : 699 B
  77. tests/testsuite/function_calls/function_composition.mvir : 678 B
  78. tests/testsuite/mutation/read_field_after_assign_local.mvir : 666 B
  79. tests/testsuite/recursion/direct_recursion.mvir : 665 B
  80. tests/testsuite/mutation/assign_field_after_local.mvir : 657 B
  81. tests/testsuite/expressions/multiple_return_values_missing_binding.mvir : 657 B
  82. tests/testsuite/payments/market_cap.mvir : 653 B
  83. tests/testsuite/function_calls/function_composition_pos_and_neg_stack_err.mvir : 647 B
  84. tests/testsuite/builtins/create_account_and_get_sequence_number.mvir : 641 B
  85. tests/testsuite/mutation/unused_resource_holder.mvir : 629 B
  86. tests/testsuite/builtins/create_account_and_get_balance.mvir : 616 B
  87. tests/testsuite/global_ref_count/decrement_dereference.mvir : 610 B
  88. tests/testsuite/builtins/create_account.mvir : 610 B
  89. tests/testsuite/global_ref_count/decrement_write.mvir : 605 B
  90. tests/testsuite/expressions/multiple_return_values.mvir : 600 B
  91. tests/testsuite/function_calls/function_composition_positive_stack_err_1.mvir : 581 B
  92. tests/testsuite/examples/use_module_published_in_previous_transaction.mvir : 573 B
  93. tests/testsuite/function_calls/return_function_in_if_binop_in_else.mvir : 570 B
  94. tests/testsuite/mutate_tests/mutate_borrow_field_ok.mvir : 566 B
  95. tests/testsuite/borrow_tests/borrow_field_ok.mvir : 562 B
  96. tests/testsuite/mutation/destroy_resource_holder.mvir : 561 B
  97. tests/testsuite/function_calls/binop_function_calls_as_args.mvir : 542 B
  98. tests/testsuite/function_calls/add_function_calls.mvir : 518 B
  99. tests/testsuite/commands/if_branch_diverges_5.mvir : 518 B
  100. tests/testsuite/function_calls/multiple_composite_functions.mvir : 513 B
  101. src/tests/mod.rs : 511 B
  102. tests/testsuite/mutate_tests/mutate_move_ok.mvir : 506 B
  103. tests/testsuite/function_calls/function_call_negative_stack_err_2.mvir : 488 B
  104. tests/testsuite/commands/local_assigned_many_times.mvir : 485 B
  105. tests/testsuite/mutation/simple_mutate.mvir : 479 B
  106. tests/testsuite/module_member_types/invalid_field_write.mvir : 478 B
  107. tests/testsuite/borrow_tests/borrow_move_ok.mvir : 473 B
  108. tests/testsuite/function_calls/function_composition_positive_stack_err_2.mvir : 467 B
  109. tests/testsuite/expressions/deref_value.mvir : 466 B
  110. tests/testsuite/module_member_types/resource_instantiate_bad_type.mvir : 465 B
  111. tests/testsuite/commands/unpack_wrong_type.mvir : 457 B
  112. tests/testsuite/prologue/get_txn_sequence_number.mvir : 452 B
  113. tests/testsuite/dereference_tests/deref_move_module_ok.mvir : 450 B
  114. tests/testsuite/borrow_tests/borrow_copy_ok.mvir : 434 B
  115. tests/testsuite/function_calls/push_args_before_function_composition.mvir : 429 B
  116. tests/testsuite/mutation/return_local_ref.mvir : 427 B
  117. tests/testsuite/function_calls/assign_function_call.mvir : 420 B
  118. tests/testsuite/natives/primitive_helper_address_to_bytes.mvir : 418 B
  119. tests/testsuite/borrow_tests/borrow_local_bad.mvir : 416 B
  120. tests/testsuite/operators/comparison_operators.mvir : 413 B
  121. tests/testsuite/function_calls/return_expression_lists.mvir : 413 B
  122. tests/testsuite/module_member_types/unrestricted_instantiate.mvir : 409 B
  123. tests/testsuite/dereference_tests/deref_borrow_field_ok.mvir : 406 B
  124. tests/testsuite/payments/minting.mvir : 403 B
  125. tests/testsuite/mutation/assign_local_resource.mvir : 400 B
  126. tests/testsuite/borrow_tests/borrow_parens_ok.mvir : 398 B
  127. tests/testsuite/failure/failure_rollover.mvir : 390 B
  128. tests/testsuite/function_calls/push_args_before_function_call.mvir : 381 B
  129. tests/testsuite/mutation/read_local_ref_after_assign.mvir : 376 B
  130. tests/testsuite/modules/get_resource_internal.mvir : 371 B
  131. tests/testsuite/builtins/get_missing_account.mvir : 356 B
  132. tests/testsuite/modules/publish_resource_internal.mvir : 352 B
  133. tests/testsuite/commands/break_continue_sum_of_odds.mvir : 347 B
  134. tests/testsuite/mutate_tests/two_mutable_ref.mvir : 346 B
  135. tests/testsuite/builtins/get_txn_public_key.mvir : 346 B
  136. tests/testsuite/natives/check_native_keccak256.mvir : 344 B
  137. tests/testsuite/natives/check_native_sha3_256.mvir : 343 B
  138. tests/testsuite/natives/check_native_sha2_256.mvir : 343 B
  139. tests/testsuite/module_member_types/procedure_return_invalid_subtype.mvir : 339 B
  140. tests/testsuite/modules/get_resource_internal_bypass.mvir : 336 B
  141. tests/testsuite/mutation/assign_local_resource_twice.mvir : 333 B
  142. tests/testsuite/expressions/equality_resource_refs.mvir : 331 B
  143. tests/testsuite/modules/has_resource_internal.mvir : 330 B
  144. tests/testsuite/commands/dead_return.mvir : 321 B
  145. tests/testsuite/natives/check_native_ripemd160.mvir : 320 B
  146. tests/testsuite/module_member_types/unrestricted_instantiate_bad_type.mvir : 316 B
  147. tests/testsuite/commands/return_in_if_branch_taken.mvir : 316 B
  148. tests/testsuite/natives/primitive_helper_u64_to_bytes.mvir : 315 B
  149. tests/testsuite/examples/gas_submitted_too_low.mvir : 313 B
  150. tests/testsuite/function_calls/function_call_negative_stack_err_1.mvir : 312 B
  151. tests/testsuite/module_member_types/procedure_args_subtype.mvir : 306 B
  152. tests/testsuite/commands/while_move_local_2.mvir : 304 B
  153. tests/testsuite/commands/while_nested.mvir : 294 B
  154. tests/testsuite/commands/unpack_top_level.mvir : 286 B
  155. tests/testsuite/builtins/freeze_makes_imm.mvir : 285 B
  156. tests/testsuite/expressions/equality_resource_values.mvir : 282 B
  157. tests/testsuite/builtins/freeze_wrong_type.mvir : 281 B
  158. tests/testsuite/commands/if_branch_diverges_8.mvir : 271 B
  159. tests/testsuite/module_member_types/procedure_return_invalid_type.mvir : 269 B
  160. tests/testsuite/mutation/type_error_after_branch.mvir : 267 B
  161. tests/testsuite/function_calls/assign_expression_list.mvir : 263 B
  162. tests/testsuite/builtins/release.mvir : 261 B
  163. tests/testsuite/commands/if_branch_diverges_6.mvir : 260 B
  164. tests/testsuite/payments/check_balance.mvir : 259 B
  165. tests/testsuite/mutation/assign_local_after_move.mvir : 259 B
  166. tests/testsuite/builtins/freeze_on_imm.mvir : 259 B
  167. tests/testsuite/dereference_tests/deref_copy_bad.mvir : 258 B
  168. tests/testsuite/commands/while_move_local.mvir : 258 B
  169. tests/testsuite/examples/transfer_money.mvir : 257 B
  170. tests/testsuite/commands/break_nested.mvir : 255 B
  171. tests/testsuite/function_calls/pass_args_on_stack_as_expressions.mvir : 254 B
  172. tests/testsuite/commands/return_in_if_branch_taken_no_else.mvir : 253 B
  173. tests/testsuite/module_member_types/procedure_args.mvir : 248 B
  174. tests/testsuite/publish/publish_duplicate_modules.mvir : 244 B
  175. tests/testsuite/mutate_tests/mutate_parens_ok.mvir : 240 B
  176. tests/testsuite/modules/access_private_function.mvir : 238 B
  177. tests/testsuite/commands/assign_in_one_if_branch.mvir : 237 B
  178. tests/testsuite/commands/branch_assigns_then_moves.mvir : 236 B
  179. tests/testsuite/commands/break_continue_simple.mvir : 232 B
  180. tests/testsuite/transactions/tx_two_args_good2.mvir : 230 B
  181. tests/testsuite/transactions/tx_two_args_good1.mvir : 228 B
  182. tests/testsuite/transactions/tx_three_args_good1.mvir : 228 B
  183. tests/testsuite/operators/boolean_operators.mvir : 223 B
  184. tests/testsuite/mutation/assign_local_value.mvir : 219 B
  185. tests/testsuite/mutate_tests/mutate_copy_ok.mvir : 219 B
  186. tests/testsuite/commands/if_branch_diverges_9.mvir : 216 B
  187. tests/testsuite/commands/if_branch_diverges_7.mvir : 215 B
  188. tests/testsuite/commands/if_assigns_else_doesnt.mvir : 215 B
  189. tests/testsuite/commands/else_assigns_if_doesnt.mvir : 214 B
  190. tests/testsuite/commands/abort_positive_stack_size.mvir : 211 B
  191. tests/testsuite/commands/deep_return_branch_doesnt_assign.mvir : 209 B
  192. tests/testsuite/builtins/get_txn_sender.mvir : 209 B
  193. tests/testsuite/borrow_tests/borrow_x_in_if_y_in_else.mvir : 207 B
  194. tests/testsuite/borrow_tests/borrow_if.mvir : 207 B
  195. tests/testsuite/mutation/no_borrow_ref.mvir : 206 B
  196. tests/testsuite/commands/if_moves_no_else.mvir : 202 B
  197. tests/testsuite/function_calls/exp_in_if_and_else_branch.mvir : 201 B
  198. tests/testsuite/module_member_types/unrestricted_has_resource_field.mvir : 200 B
  199. tests/testsuite/expressions/equality_one_ref.mvir : 200 B
  200. tests/testsuite/mutation/read_local_ref_after_move.mvir : 198 B
  201. tests/testsuite/commands/else_moves_if_doesnt.mvir : 197 B
  202. tests/testsuite/commands/if_moves_else_doesnt.mvir : 196 B
  203. tests/testsuite/commands/if_branch_diverges_4.mvir : 196 B
  204. tests/testsuite/dereference_tests/deref_parens_ok.mvir : 192 B
  205. tests/testsuite/modules/module_struct_shared_name.mvir : 189 B
  206. tests/testsuite/commands/assign_resource.mvir : 189 B
  207. tests/testsuite/commands/branch_assigns_then_moves_then_assigns.mvir : 188 B
  208. tests/testsuite/modules/access_public_function.mvir : 187 B
  209. tests/testsuite/commands/break_accumulator.mvir : 187 B
  210. tests/testsuite/commands/abort_unreleased_reference.mvir : 186 B
  211. tests/testsuite/commands/if_branch_diverges_3.mvir : 184 B
  212. tests/testsuite/builtins/freeze_valid.mvir : 183 B
  213. tests/testsuite/commands/while_nested_return.mvir : 182 B
  214. tests/testsuite/commands/if_branch_diverges_10.mvir : 180 B
  215. tests/testsuite/commands/abort_unused_resource.mvir : 180 B
  216. tests/testsuite/commands/assign_wrong_if_branch.mvir : 179 B
  217. tests/testsuite/transactions/tx_two_args_bad5.mvir : 174 B
  218. tests/testsuite/commands/if_assigns_no_else.mvir : 171 B
  219. tests/testsuite/function_calls/multiple_bindings_negative_stack.mvir : 166 B
  220. tests/testsuite/transactions/tx_two_args_bad4.mvir : 165 B
  221. tests/testsuite/commands/break_unreachable.mvir : 165 B
  222. tests/testsuite/payments/cant_recreate_market_cap.mvir : 158 B
  223. tests/testsuite/commands/return_branch_moves.mvir : 158 B
  224. tests/testsuite/commands/loop_nested_breaks.mvir : 157 B
  225. tests/testsuite/operators/overflow_via_addition.mvir : 156 B
  226. tests/testsuite/transactions/tx_two_args_bad2.mvir : 155 B
  227. tests/testsuite/operators/arithmetic_operators.mvir : 155 B
  228. tests/testsuite/transactions/tx_two_args_bad3.mvir : 153 B
  229. tests/testsuite/commands/assign_wrong_type.mvir : 151 B
  230. tests/testsuite/operators/overflow_via_multiplication.mvir : 150 B
  231. tests/testsuite/modules/modules_not_a_type.mvir : 150 B
  232. tests/testsuite/dereference_tests/deref_not_reference_bad.mvir : 150 B
  233. tests/testsuite/commands/no_let_outside_if.mvir : 150 B
  234. tests/testsuite/builtins/verify_valid_bytearray.mvir : 149 B
  235. tests/testsuite/operators/mod_by_zero.mvir : 147 B
  236. tests/testsuite/operators/division_by_zero.mvir : 147 B
  237. tests/testsuite/dereference_tests/deref_non_reference.mvir : 147 B
  238. tests/testsuite/data_types/empty_structs.mvir : 146 B
  239. tests/testsuite/commands/invalid_fallthrough3.mvir : 146 B
  240. tests/testsuite/commands/break_simple.mvir : 145 B
  241. tests/testsuite/function_calls/multiple_bindings_positive_stack.mvir : 144 B
  242. tests/testsuite/commands/if_branch_diverges_2.mvir : 144 B
  243. tests/testsuite/commands/assign_wrong_if_branch_no_else.mvir : 140 B
  244. tests/testsuite/operators/underflow_via_subtraction.mvir : 138 B
  245. tests/testsuite/commands/if_branch_diverges_1.mvir : 138 B
  246. tests/testsuite/commands/while_simple.mvir : 137 B
  247. tests/testsuite/commands/return_branch_doesnt_assign.mvir : 137 B
  248. tests/testsuite/commands/loop_simple.mvir : 137 B
  249. tests/testsuite/commands/use_before_assign.mvir : 135 B
  250. tests/testsuite/commands/move_before_assign.mvir : 135 B
  251. tests/testsuite/modules/duplicate_struct_name.mvir : 130 B
  252. tests/testsuite/transactions/tx_one_arg_bad3.mvir : 129 B
  253. tests/testsuite/commands/return_in_if_branch_taken_local.mvir : 128 B
  254. tests/testsuite/builtins/get_txn_gas_unit_price.mvir : 127 B
  255. tests/testsuite/builtins/get_txn_max_gas_units.mvir : 126 B
  256. tests/testsuite/transactions/tx_one_arg_bad2.mvir : 125 B
  257. tests/testsuite/modules/mutual_recursive_struct.mvir : 124 B
  258. tests/testsuite/modules/function_in_struct.mvir : 124 B
  259. tests/testsuite/modules/duplicate_function_name.mvir : 124 B
  260. tests/testsuite/commands/if_without_braces_3.mvir : 123 B
  261. tests/testsuite/commands/if_without_braces_2.mvir : 123 B
  262. tests/testsuite/dereference_tests/deref_move_ok.mvir : 122 B
  263. tests/testsuite/examples/simple.mvir : 120 B
  264. tests/testsuite/commands/while_false.mvir : 119 B
  265. tests/testsuite/operators/boolean_not_non_boolean.mvir : 118 B
  266. tests/testsuite/commands/if_without_braces_1.mvir : 115 B
  267. tests/testsuite/commands/assign_move.mvir : 114 B
  268. tests/testsuite/commands/assign_copy.mvir : 114 B
  269. tests/testsuite/transactions/tx_no_args_bad1.mvir : 113 B
  270. tests/testsuite/commands/break_outside_loop_in_else.mvir : 108 B
  271. tests/testsuite/transactions/tx_one_arg_bad1.mvir : 107 B
  272. tests/testsuite/commands/invalid_fallthrough2.mvir : 103 B
  273. tests/testsuite/operators/bitwise_operators.mvir : 102 B
  274. tests/testsuite/commands/dead_return_local.mvir : 100 B
  275. tests/testsuite/mutate_tests/mutate_borrow_local_ok.mvir : 96 B
  276. tests/testsuite/commands/continue_outside_loop_in_if.mvir : 96 B
  277. tests/testsuite/commands/abort_no_return.mvir : 96 B
  278. tests/testsuite/publish/publish_existing_module.mvir : 92 B
  279. tests/testsuite/commands/while_return.mvir : 91 B
  280. tests/testsuite/commands/if_without_braces_4.mvir : 91 B
  281. tests/testsuite/commands/no_rebind.mvir : 90 B
  282. tests/testsuite/commands/break_outside_loop_in_if.mvir : 90 B
  283. tests/testsuite/commands/abort_negative_stack_size.mvir : 89 B
  284. tests/testsuite/commands/loop_return.mvir : 83 B
  285. tests/testsuite/dereference_tests/deref_borrow_local_ok.mvir : 80 B
  286. tests/testsuite/module_member_types/resource_has_resource_field.mvir : 78 B
  287. tests/testsuite/transactions/tx_one_arg_good1.mvir : 76 B
  288. tests/testsuite/comments/multiple_single_line_comments_own_line.mvir : 73 B
  289. tests/testsuite/comments/multiple_single_line_comments_mixed.mvir : 71 B
  290. tests/testsuite/commands/continue_outside_loop.mvir : 70 B
  291. tests/testsuite/commands/invalid_fallthrough1.mvir : 69 B
  292. tests/testsuite/examples/no_execute.mvir : 67 B
  293. tests/testsuite/commands/break_outside_loop.mvir : 64 B
  294. tests/testsuite/transactions/tx_no_args_good.mvir : 58 B
  295. tests/testsuite/comments/single_line_comment_own_line.mvir : 44 B
  296. tests/testsuite/comments/single_line_comment_line.mvir : 42 B
  297. tests/testsuite/comments/multi_line_comment_commented_by_single_line_comment.mvir : 37 B
  298. tests/testsuite/examples/script.mvir : 23 B