Merge pull request #68 from refcell/brock/testing-infra

feat(e2e): gas snapshot infra and consolidated test helpers

Author: refcell

Justfile

@@ -83,13 +83,27 @@ check-stdlib:
     done < <(find std -name '*.edge' -print0 | sort -z)
     exit $failed
 
-# Run acceptance tests
+# Run acceptance tests and update gas snapshot
 e2e:
+    #!/usr/bin/env bash
+    set -euo pipefail
+    rm -rf /tmp/edge-gas
     cargo test -p edge-e2e
+    if [ -f /tmp/edge-gas/e2e.csv ]; then
+        sort /tmp/edge-gas/e2e.csv > crates/e2e/.gas-snapshot
+        echo "Gas snapshot written to crates/e2e/.gas-snapshot ($(wc -l < crates/e2e/.gas-snapshot) entries)"
+    fi
 
-# Run acceptance tests for CI
+# Run acceptance tests for CI and update gas snapshot
 e2e-ci:
+    #!/usr/bin/env bash
+    set -euo pipefail
+    rm -rf /tmp/edge-gas
     cargo nextest run -p edge-e2e
+    if [ -f /tmp/edge-gas/e2e.csv ]; then
+        sort /tmp/edge-gas/e2e.csv > crates/e2e/.gas-snapshot
+        echo "Gas snapshot written to crates/e2e/.gas-snapshot ($(wc -l < crates/e2e/.gas-snapshot) entries)"
+    fi
 
 # Run benchmarks
 bench:

crates/e2e/.gas-snapshot

@@ -0,0 +1,140 @@
+test_arrays::element_access(), 358, 328, 328, 328
+test_arrays::get(uint256), 2331, 2326, 2326, 2326
+test_arrays::set(uint256,uint256), 22502, 22497, 22497, 22497
+test_arrays::slice_sum(), 510, 439, 439, 439
+test_arrays::sum_array(), 1158, 1124, 1124, 1124
+test_checked_arith::chain_safe(uint256,uint256), 516, 516, 516, 516
+test_checked_arith::masked_add(uint256), 864, 864, 864, 864
+test_checked_arith::safe_add(uint256,uint256), 516, 516, 516, 516
+test_checked_arith::safe_mul(uint256,uint256), 1056, 1056, 1056, 1056
+test_checked_arith::safe_sub(uint256,uint256), 534, 534, 534, 534
+test_default_methods::test_chained_default_call(), 462, 449, 276, 276
+test_default_methods::test_chained_default(), 434, 421, 248, 248
+test_default_methods::test_default_method_call(), 377, 364, 276, 276
+test_default_methods::test_default_method(), 344, 332, 245, 245
+test_default_methods::test_full_override(), 236, 223, 189, 189
+test_default_methods::test_override_method_call(), 370, 357, 277, 277
+test_default_methods::test_override_method(), 283, 270, 190, 190
+test_default_methods::test_partial_override_chain(), 425, 412, 247, 247
+test_default_methods::test_required_method_call(), 263, 250, 247, 247
+test_default_methods::test_required_method(), 148, 135, 132, 132
+test_enums2::direction_north(), 165, 140, 140, 140
+test_enums2::direction_west(), 222, 118, 118, 118
+test_enums2::is_north_check(uint256), 306, 306, 306, 306
+test_enums2::result_err_value(), 269, 263, 255, 255
+test_enums2::result_ok_value(), 152, 146, 138, 138
+test_generics::test_entry_key(), 322, 303, 303, 303
+test_generics::test_entry_value(), 324, 304, 301, 301
+test_generics::test_identity(), 252, 252, 252, 252
+test_generics::test_max(), 283, 253, 253, 253
+test_generics::test_min(), 323, 283, 283, 283
+test_generics::test_option_none(), 307, 307, 299, 299
+test_generics::test_option_some(), 264, 258, 258, 258
+test_generics::test_result_err(), 234, 228, 220, 220
+test_generics::test_result_ok(), 349, 343, 335, 335
+test_generics::test_turbofish_identity(), 196, 196, 196, 196
+test_generics::test_turbofish_max(), 285, 255, 255, 255
+test_impl::test_counter_add(), 224, 211, 177, 177
+test_impl::test_counter_get(), 161, 148, 145, 145
+test_impl::test_point_scale(), 354, 329, 249, 249
+test_impl::test_point_sum(), 135, 113, 110, 110
+test_impl::test_point_x(), 195, 176, 176, 176
+test_inline_asm::asm_add(), 149, 149, 149, 149
+test_inline_asm::asm_caller(), 202, 202, 202, 202
+test_inline_asm::asm_computed_local(), 244, 210, 210, 210
+test_inline_asm::asm_hex_literal(), 201, 201, 201, 201
+test_inline_asm::asm_identity(), 96, 96, 96, 96
+test_inline_asm::asm_local_var(), 208, 208, 208, 208
+test_inline_asm::asm_mul_add(), 158, 158, 158, 158
+test_inline::add_offset_val(), 250, 109, 109, 109
+test_inline::double_val(), 195, 129, 129, 129
+test_inline::inline_in_branch(uint256), 354, 306, 306, 306
+test_inline::inline_in_loop(), 1039, 879, 879, 879
+test_inline::triple_val(), 254, 114, 114, 114
+test_inline::weighted_sum_val(), 441, 164, 164, 164
+test_logs::emit_no_indexed(uint256), 23257, 23250, 23250, 23250
+test_logs::emit_one_indexed(uint256,uint256), 23566, 23559, 23559, 23559
+test_logs::emit_three_indexed(uint256,uint256,uint256), 24125, 24123, 24123, 24123
+test_logs::emit_two_indexed(address,address,uint256), 24014, 24007, 24007, 24007
+test_logs::get_marker(), 2213, 2213, 2213, 2213
+test_loop_storage::accumulate(uint256), 23541, 23541, 23541, 23541
+test_loop_storage::count_up(uint256), 23161, 23161, 23161, 23161
+test_loop_storage::get_count(), 2229, 2229, 2229, 2229
+test_loop_storage::get_last_val(), 2230, 2230, 2230, 2230
+test_loop_storage::get_total(), 2285, 2285, 2285, 2285
+test_loop_storage::read_write_loop(uint256), 45014, 45014, 45014, 45014
+test_loop_storage::reset(), 4790, 4790, 4790, 4790
+test_mappings::counter_get(address), 2411, 2405, 2405, 2405
+test_mappings::counter_inc(address), 22574, 22562, 22562, 22562
+test_mappings::map_add(address,uint256), 5474, 5462, 5462, 5462
+test_mappings::map_get(address), 2353, 2347, 2347, 2347
+test_mappings::map_set(address,uint256), 22463, 22458, 22458, 22458
+test_mappings::nested_get(address,address), 2576, 2564, 2564, 2564
+test_mappings::nested_set(address,address,uint256), 22575, 22563, 22563, 22563
+test_mappings::nested_two_spenders(address,address,address,uint256,uint256), 44809, 44785, 44785, 44785
+test_mappings::two_keys(address,address,uint256,uint256), 44595, 44583, 44583, 44583
+test_merkle::hash_two(bytes32,bytes32), 516, 516, 516, 516
+test_merkle::verify(bytes32,bytes32,bytes32[4],uint256), 1530, 1530, 1530, 1530
+test_packed_storage::store_and_read_b(), 22397, 22358, 22340, 22340
+test_packed_storage::store_and_read_g(), 22345, 22306, 22282, 22282
+test_packed_storage::store_and_read_r(), 22342, 22304, 22282, 22282
+test_packed_storage::store_and_read_sum(), 22489, 22400, 22340, 22340
+test_packed_storage::store_pair_read_a(), 22387, 22360, 22342, 22342
+test_packed_storage::store_pair_read_b(), 22379, 22352, 22340, 22340
+test_packed_storage::write_subfield_preserves(), 22427, 22300, 22225, 22225
+test_packed_storage::write_subfield_r(), 22499, 22418, 22370, 22370
+test_packed_structs::packed_field_sum(), 393, 289, 232, 232
+test_packed_structs::packed_pair_a(), 279, 247, 232, 232
+test_packed_structs::packed_pair_b(), 158, 126, 117, 117
+test_packed_structs::packed_rgb_b(), 292, 248, 233, 233
+test_packed_structs::packed_rgb_g(), 240, 196, 175, 175
+test_packed_structs::packed_rgb_r(), 293, 250, 230, 230
+test_packed_structs::packed_two_structs(), 338, 225, 204, 204
+test_packed_transient::store_and_read_b(), 397, 358, 340, 340
+test_packed_transient::store_and_read_g(), 345, 306, 282, 282
+test_packed_transient::store_and_read_r(), 342, 304, 282, 282
+test_packed_transient::store_and_read_sum(), 489, 400, 340, 340
+test_packed_transient::store_pair_read_a(), 387, 360, 342, 342
+test_packed_transient::store_pair_read_b(), 379, 352, 340, 340
+test_packed_transient::write_subfield_preserves(), 427, 300, 225, 225
+test_packed_transient::write_subfield_r(), 499, 418, 370, 370
+test_structs::point_sum(), 158, 133, 130, 130
+test_structs::point_x(), 148, 131, 131, 131
+test_structs::point_y(), 188, 168, 165, 165
+test_structs::two_structs(), 256, 217, 214, 214
+test_supertraits::test_base_method_call(), 96, 96, 96, 96
+test_supertraits::test_base_method(), 131, 119, 117, 117
+test_supertraits::test_extended_method_call(), 255, 242, 162, 162
+test_supertraits::test_extended_method(), 216, 203, 123, 123
+test_trait_bounds::test_bound_other(), 217, 209, 209, 209
+test_trait_bounds::test_bound_satisfied(), 157, 150, 150, 150
+test_trait_bounds::test_extract_other_method(), 359, 346, 266, 266
+test_trait_bounds::test_extract_other(), 417, 404, 324, 324
+test_trait_bounds::test_extract_wrapper_method(), 311, 298, 295, 295
+test_trait_bounds::test_extract_wrapper(), 282, 269, 266, 266
+test_trait_bounds::test_multiple_bounds_other(), 333, 325, 325, 325
+test_trait_bounds::test_multiple_bounds(), 216, 208, 208, 208
+test_trait_bounds::test_scale_other(), 464, 451, 294, 294
+test_trait_bounds::test_scale_wrapper(), 360, 347, 267, 267
+test_trait_bounds::test_type_bound_other(), 333, 310, 316, 316
+test_trait_bounds::test_type_bound(), 303, 280, 286, 286
+test_traits::test_add_overload(), 281, 242, 270, 270
+test_traits::test_double_method(), 276, 263, 183, 183
+test_traits::test_double_then_triple(), 414, 401, 241, 241
+test_traits::test_double(), 331, 319, 240, 240
+test_traits::test_eq_overload(), 308, 282, 279, 279
+test_traits::test_triple_method(), 219, 206, 126, 126
+test_traits::test_triple(), 333, 320, 240, 240
+test_transient::get_counter(), 2285, 2285, 2285, 2285
+test_transient::get_tval(), 284, 284, 284, 284
+test_transient::get_tval2(), 229, 229, 229, 229
+test_transient::inc_counter(), 22196, 22196, 22196, 22196
+test_transient::set_both(uint256,uint256), 22393, 22393, 22393, 22393
+test_transient::set_tval(uint256), 306, 306, 306, 306
+test_transient::set_tval2(uint256), 306, 306, 306, 306
+test_unsafe_arith::test_add_overflow(), 96, 96, 96, 96
+test_unsafe_arith::test_mul_overflow(), 181, 173, 173, 173
+test_unsafe_arith::test_sub_underflow(), 122, 122, 122, 122
+test_unsafe_arith::test_unsafe_add(), 135, 129, 129, 129
+test_unsafe_arith::test_unsafe_mul(), 120, 112, 112, 112
+test_unsafe_arith::test_unsafe_sub(), 166, 160, 160, 160