diff --git a/src/base/JSON.ml b/src/base/JSON.ml index 592622b8b..782f31f74 100644 --- a/src/base/JSON.ml +++ b/src/base/JSON.ml @@ -85,7 +85,9 @@ let build_prim_lit_exn t v = ~inst:(v ^ " of type " ^ pp_typ t) in let build_prim_literal_of_type t v = - match build_prim_literal t v with Some v' -> v' | None -> raise (exn ()) + try + match build_prim_literal t v with Some v' -> v' | None -> raise (exn ()) + with Invalid_argument _ -> raise (exn ()) in match t with | PrimType pt -> build_prim_literal_of_type pt v diff --git a/src/eval/Runner.ml b/src/eval/Runner.ml index f7c22ed2f..2feb03048 100644 --- a/src/eval/Runner.ml +++ b/src/eval/Runner.ml @@ -384,29 +384,7 @@ let run_with_args args = FilePath.check_extension args.input GlobalConfig.StdlibTracker.file_extn_library in - let initial_gas_limit = Uint64.mul args.gas_limit Gas.scale_factor in - let gas_remaining = - (* Subtract gas based on (contract+init) size / message size. *) - if is_deployment then - let cost' = - UnixLabels.((stat args.input).st_size + (stat args.input_init).st_size) - in - let cost = Uint64.of_int cost' in - if Uint64.compare initial_gas_limit cost < 0 then - fatal_error_gas_scale Gas.scale_factor - (mk_error0 ~kind:"Insufficient gas to parse contract/init files" - ?inst:None) - Uint64.zero - else Uint64.sub initial_gas_limit cost - else - let cost = Uint64.of_int (UnixLabels.stat args.input_message).st_size in - if Uint64.compare initial_gas_limit cost < 0 then - fatal_error_gas_scale Gas.scale_factor - (mk_error0 ~kind:"Insufficient gas to parse message" ?inst:None) - Uint64.zero - else Uint64.sub initial_gas_limit cost - in - + let gas_remaining = Uint64.mul args.gas_limit Gas.scale_factor in if is_library then if is_deployment then deploy_library args gas_remaining else diff --git a/tests/runner/0x111256789012345678901234567890123456abef/init_output.json b/tests/runner/0x111256789012345678901234567890123456abef/init_output.json index 18ff01af0..92514814a 100644 --- a/tests/runner/0x111256789012345678901234567890123456abef/init_output.json +++ b/tests/runner/0x111256789012345678901234567890123456abef/init_output.json @@ -1 +1 @@ -{ "gas_remaining": "7825" } \ No newline at end of file +{ "gas_remaining": "7995" } \ No newline at end of file diff --git a/tests/runner/Polynetwork/output_1.json b/tests/runner/Polynetwork/output_1.json index 313a26876..d29ca44ed 100644 --- a/tests/runner/Polynetwork/output_1.json +++ b/tests/runner/Polynetwork/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "3025", + "gas_remaining": "3722", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/Polynetwork/output_2.json b/tests/runner/Polynetwork/output_2.json index 5058e9486..69ab3ed6b 100644 --- a/tests/runner/Polynetwork/output_2.json +++ b/tests/runner/Polynetwork/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "4652", + "gas_remaining": "5243", "_accepted": "false", "messages": [ { diff --git a/tests/runner/Polynetwork/output_25.json b/tests/runner/Polynetwork/output_25.json index 3b0d300f9..42a90f5c9 100644 --- a/tests/runner/Polynetwork/output_25.json +++ b/tests/runner/Polynetwork/output_25.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7239", + "gas_remaining": "7936", "errors": [ { "error_message": diff --git a/tests/runner/Polynetwork/output_26.json b/tests/runner/Polynetwork/output_26.json index 8ed912534..a92bb6a2c 100644 --- a/tests/runner/Polynetwork/output_26.json +++ b/tests/runner/Polynetwork/output_26.json @@ -1,5 +1,5 @@ { - "gas_remaining": "4716", + "gas_remaining": "5307", "errors": [ { "error_message": diff --git a/tests/runner/Polynetwork/output_27.json b/tests/runner/Polynetwork/output_27.json index ba1ef4692..fc6083c89 100644 --- a/tests/runner/Polynetwork/output_27.json +++ b/tests/runner/Polynetwork/output_27.json @@ -1,5 +1,5 @@ { - "gas_remaining": "3684", + "gas_remaining": "4654", "errors": [ { "error_message": diff --git a/tests/runner/Polynetwork/output_28.json b/tests/runner/Polynetwork/output_28.json index d70e352cb..04c38ad79 100644 --- a/tests/runner/Polynetwork/output_28.json +++ b/tests/runner/Polynetwork/output_28.json @@ -1,5 +1,5 @@ { - "gas_remaining": "2327", + "gas_remaining": "3802", "errors": [ { "error_message": diff --git a/tests/runner/Polynetwork/output_29.json b/tests/runner/Polynetwork/output_29.json index af4dac26d..715d6c8d4 100644 --- a/tests/runner/Polynetwork/output_29.json +++ b/tests/runner/Polynetwork/output_29.json @@ -1,5 +1,5 @@ { - "gas_remaining": "5709", + "gas_remaining": "6262", "errors": [ { "error_message": diff --git a/tests/runner/Polynetwork/output_3.json b/tests/runner/Polynetwork/output_3.json index 758bc4153..9c48968e2 100644 --- a/tests/runner/Polynetwork/output_3.json +++ b/tests/runner/Polynetwork/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "1829", + "gas_remaining": "2799", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/Polynetwork/output_4.json b/tests/runner/Polynetwork/output_4.json index 050d1bb34..41cecb915 100644 --- a/tests/runner/Polynetwork/output_4.json +++ b/tests/runner/Polynetwork/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "2263", + "gas_remaining": "3739", "_accepted": "false", "messages": [ { diff --git a/tests/runner/TestLib2/init_output.json b/tests/runner/TestLib2/init_output.json index b70d1abc6..6888bc514 100644 --- a/tests/runner/TestLib2/init_output.json +++ b/tests/runner/TestLib2/init_output.json @@ -1 +1 @@ -{ "gas_remaining": "7881" } \ No newline at end of file +{ "gas_remaining": "7993" } \ No newline at end of file diff --git a/tests/runner/TestLib2/init_wrong_version_output.json b/tests/runner/TestLib2/init_wrong_version_output.json index fb5e0b01d..0f131baeb 100644 --- a/tests/runner/TestLib2/init_wrong_version_output.json +++ b/tests/runner/TestLib2/init_wrong_version_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7869", + "gas_remaining": "7981", "errors": [ { "error_message": "Scilla version mismatch", diff --git a/tests/runner/TestLib2/output_1.json b/tests/runner/TestLib2/output_1.json index ea63c2742..bcaf9d8c1 100644 --- a/tests/runner/TestLib2/output_1.json +++ b/tests/runner/TestLib2/output_1.json @@ -1,5 +1,5 @@ { - "gas_remaining": "62896", + "gas_remaining": "64000", "_accepted": "false", "messages": [], "events": [] diff --git a/tests/runner/Testcontracts.ml b/tests/runner/Testcontracts.ml index 6df4331ba..3094c6631 100644 --- a/tests/runner/Testcontracts.ml +++ b/tests/runner/Testcontracts.ml @@ -292,6 +292,8 @@ let build_misc_tests env = [ "-init"; tests_dir_file env.tests_dir test_ctxt ("init_bad" ^ snum ^. "json"); + "-gaslimit"; + testsuit_gas_limit; "-libdir"; "src" ^/ "stdlib"; "-jsonerrors"; diff --git a/tests/runner/UintParam/output_1.json b/tests/runner/UintParam/output_1.json index a51e9dacb..4206baa10 100644 --- a/tests/runner/UintParam/output_1.json +++ b/tests/runner/UintParam/output_1.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7962", + "gas_remaining": "7999", "errors": [ { "error_message": "Invalid value in JSON: -1 of type Uint128", diff --git a/tests/runner/UintParam/output_2.json b/tests/runner/UintParam/output_2.json index d9af21483..e22a13fce 100644 --- a/tests/runner/UintParam/output_2.json +++ b/tests/runner/UintParam/output_2.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7962", + "gas_remaining": "7999", "errors": [ { "error_message": "Invalid value in JSON: -1 of type Uint128", diff --git a/tests/runner/UintParam/output_3.json b/tests/runner/UintParam/output_3.json index c394027cf..7de076322 100644 --- a/tests/runner/UintParam/output_3.json +++ b/tests/runner/UintParam/output_3.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7962", + "gas_remaining": "7999", "errors": [ { "error_message": "Invalid value in JSON: -1 of type Uint256", diff --git a/tests/runner/addfunds/output_1.json b/tests/runner/addfunds/output_1.json index 93285e66b..836ef6924 100644 --- a/tests/runner/addfunds/output_1.json +++ b/tests/runner/addfunds/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7945", + "gas_remaining": "7989", "_accepted": "true", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "100" } ], diff --git a/tests/runner/addfunds_proxy/output_1.json b/tests/runner/addfunds_proxy/output_1.json index 45f8457eb..7243bfaad 100644 --- a/tests/runner/addfunds_proxy/output_1.json +++ b/tests/runner/addfunds_proxy/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7952", + "gas_remaining": "7976", "_accepted": "true", "messages": [ { diff --git a/tests/runner/addfunds_proxy/output_2.json b/tests/runner/addfunds_proxy/output_2.json index 73387aa8f..c76c4a209 100644 --- a/tests/runner/addfunds_proxy/output_2.json +++ b/tests/runner/addfunds_proxy/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7959", + "gas_remaining": "7984", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_1.json b/tests/runner/address_eq_test/output_1.json index b7c5317a9..ebcb18886 100644 --- a/tests/runner/address_eq_test/output_1.json +++ b/tests/runner/address_eq_test/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7933", + "gas_remaining": "7995", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_10.json b/tests/runner/address_eq_test/output_10.json index 1fc9a4e04..4008fb3b4 100644 --- a/tests/runner/address_eq_test/output_10.json +++ b/tests/runner/address_eq_test/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_11.json b/tests/runner/address_eq_test/output_11.json index a4ffcb3a3..b601bffa4 100644 --- a/tests/runner/address_eq_test/output_11.json +++ b/tests/runner/address_eq_test/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7938", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_2.json b/tests/runner/address_eq_test/output_2.json index c87407d42..45dec3bb7 100644 --- a/tests/runner/address_eq_test/output_2.json +++ b/tests/runner/address_eq_test/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7933", + "gas_remaining": "7995", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_3.json b/tests/runner/address_eq_test/output_3.json index c36f31bb1..dab93ea23 100644 --- a/tests/runner/address_eq_test/output_3.json +++ b/tests/runner/address_eq_test/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_4.json b/tests/runner/address_eq_test/output_4.json index c36f31bb1..ebcb18886 100644 --- a/tests/runner/address_eq_test/output_4.json +++ b/tests/runner/address_eq_test/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7995", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_5.json b/tests/runner/address_eq_test/output_5.json index c36f31bb1..ebcb18886 100644 --- a/tests/runner/address_eq_test/output_5.json +++ b/tests/runner/address_eq_test/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7995", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_6.json b/tests/runner/address_eq_test/output_6.json index 5b60f6387..0fdeee155 100644 --- a/tests/runner/address_eq_test/output_6.json +++ b/tests/runner/address_eq_test/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7993", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_7.json b/tests/runner/address_eq_test/output_7.json index 21ada70c8..2780c8493 100644 --- a/tests/runner/address_eq_test/output_7.json +++ b/tests/runner/address_eq_test/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7948", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_8.json b/tests/runner/address_eq_test/output_8.json index de4ee1a1f..5cc0779aa 100644 --- a/tests/runner/address_eq_test/output_8.json +++ b/tests/runner/address_eq_test/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7926", + "gas_remaining": "7988", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_eq_test/output_9.json b/tests/runner/address_eq_test/output_9.json index 5b3a8d743..962befe35 100644 --- a/tests/runner/address_eq_test/output_9.json +++ b/tests/runner/address_eq_test/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7922", + "gas_remaining": "7983", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_list_as_cparam/init_address_type_ipc_output.json b/tests/runner/address_list_as_cparam/init_address_type_ipc_output.json index 36150661d..60080c411 100644 --- a/tests/runner/address_list_as_cparam/init_address_type_ipc_output.json +++ b/tests/runner/address_list_as_cparam/init_address_type_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7867", + "gas_remaining": "7999", "errors": [ { "error_message": "Address type not allowed in json file", @@ -8,4 +8,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/address_list_as_cparam/init_illegal_nested_type_ipc_output.json b/tests/runner/address_list_as_cparam/init_illegal_nested_type_ipc_output.json index 71431eb7b..b5b6d3bb6 100644 --- a/tests/runner/address_list_as_cparam/init_illegal_nested_type_ipc_output.json +++ b/tests/runner/address_list_as_cparam/init_illegal_nested_type_ipc_output.json @@ -14,4 +14,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/address_list_as_cparam/init_illegal_type_ipc_output.json b/tests/runner/address_list_as_cparam/init_illegal_type_ipc_output.json index 862792589..60080c411 100644 --- a/tests/runner/address_list_as_cparam/init_illegal_type_ipc_output.json +++ b/tests/runner/address_list_as_cparam/init_illegal_type_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7877", + "gas_remaining": "7999", "errors": [ { "error_message": "Address type not allowed in json file", @@ -8,4 +8,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/address_list_as_cparam/init_illegal_value_ipc_output.json b/tests/runner/address_list_as_cparam/init_illegal_value_ipc_output.json index fc50c2e9c..8abcc4885 100644 --- a/tests/runner/address_list_as_cparam/init_illegal_value_ipc_output.json +++ b/tests/runner/address_list_as_cparam/init_illegal_value_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7880", + "gas_remaining": "7998", "errors": [ { "error_message": @@ -9,4 +9,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/address_list_as_cparam/init_ipc_output.json b/tests/runner/address_list_as_cparam/init_ipc_output.json index 228445fef..6286897a3 100644 --- a/tests/runner/address_list_as_cparam/init_ipc_output.json +++ b/tests/runner/address_list_as_cparam/init_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "63049", + "gas_remaining": "63993", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/address_list_traversal/output_1.json b/tests/runner/address_list_traversal/output_1.json index d8cc9dd7a..2b10c2267 100644 --- a/tests/runner/address_list_traversal/output_1.json +++ b/tests/runner/address_list_traversal/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7900", + "gas_remaining": "7981", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_list_traversal/output_2.json b/tests/runner/address_list_traversal/output_2.json index 66b7c42cc..d8e0bf6b6 100644 --- a/tests/runner/address_list_traversal/output_2.json +++ b/tests/runner/address_list_traversal/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7904", + "gas_remaining": "7985", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/address_list_traversal/output_3.json b/tests/runner/address_list_traversal/output_3.json index 3c6765475..1892a9e37 100644 --- a/tests/runner/address_list_traversal/output_3.json +++ b/tests/runner/address_list_traversal/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7895", + "gas_remaining": "7975", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/ark/output_1.json b/tests/runner/ark/output_1.json index 850e069aa..9b6cc67ef 100644 --- a/tests/runner/ark/output_1.json +++ b/tests/runner/ark/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7089", + "gas_remaining": "7374", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ark/output_2.json b/tests/runner/ark/output_2.json index b2abb26e9..820d7d304 100644 --- a/tests/runner/ark/output_2.json +++ b/tests/runner/ark/output_2.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7563", + "gas_remaining": "7848", "errors": [ { "error_message": diff --git a/tests/runner/auction/output_1.json b/tests/runner/auction/output_1.json index 1f8f72d4a..0805ae854 100644 --- a/tests/runner/auction/output_1.json +++ b/tests/runner/auction/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7942", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/auction/output_2.json b/tests/runner/auction/output_2.json index 80c40f476..e65c28f00 100644 --- a/tests/runner/auction/output_2.json +++ b/tests/runner/auction/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7913", + "gas_remaining": "7936", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/auction/output_3.json b/tests/runner/auction/output_3.json index 3a559316f..28d432332 100644 --- a/tests/runner/auction/output_3.json +++ b/tests/runner/auction/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7923", + "gas_remaining": "7946", "_accepted": "false", "messages": [ { diff --git a/tests/runner/auction/output_4.json b/tests/runner/auction/output_4.json index 5b08ec65c..bd09cdc71 100644 --- a/tests/runner/auction/output_4.json +++ b/tests/runner/auction/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7927", + "gas_remaining": "7950", "_accepted": "false", "messages": [ { diff --git a/tests/runner/auction/output_5.json b/tests/runner/auction/output_5.json index 7fc862cf5..b21126d69 100644 --- a/tests/runner/auction/output_5.json +++ b/tests/runner/auction/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7927", + "gas_remaining": "7950", "_accepted": "false", "messages": [ { diff --git a/tests/runner/auction/output_6.json b/tests/runner/auction/output_6.json index 2feb66170..214657d15 100644 --- a/tests/runner/auction/output_6.json +++ b/tests/runner/auction/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7963", "_accepted": "false", "messages": [ { diff --git a/tests/runner/auction/output_7.json b/tests/runner/auction/output_7.json index 217c7a79b..c86104519 100644 --- a/tests/runner/auction/output_7.json +++ b/tests/runner/auction/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7963", "_accepted": "false", "messages": [ { diff --git a/tests/runner/auction/output_8.json b/tests/runner/auction/output_8.json index a445a1144..ca3d1eb23 100644 --- a/tests/runner/auction/output_8.json +++ b/tests/runner/auction/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7923", + "gas_remaining": "7946", "_accepted": "false", "messages": [ { diff --git a/tests/runner/bookstore/output_1.json b/tests/runner/bookstore/output_1.json index 0aee1850a..989fb0902 100644 --- a/tests/runner/bookstore/output_1.json +++ b/tests/runner/bookstore/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7906", + "gas_remaining": "7977", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_10.json b/tests/runner/bookstore/output_10.json index 398c03dfe..8578b4948 100644 --- a/tests/runner/bookstore/output_10.json +++ b/tests/runner/bookstore/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7908", + "gas_remaining": "7975", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_11.json b/tests/runner/bookstore/output_11.json index 23914f300..513aba905 100644 --- a/tests/runner/bookstore/output_11.json +++ b/tests/runner/bookstore/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7935", + "gas_remaining": "7987", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_12.json b/tests/runner/bookstore/output_12.json index 68d075885..e97ca67c3 100644 --- a/tests/runner/bookstore/output_12.json +++ b/tests/runner/bookstore/output_12.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7914", + "gas_remaining": "7981", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_2.json b/tests/runner/bookstore/output_2.json index f5a34673c..69536b07d 100644 --- a/tests/runner/bookstore/output_2.json +++ b/tests/runner/bookstore/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7910", + "gas_remaining": "7981", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_3.json b/tests/runner/bookstore/output_3.json index c69c8a2b8..22e1f5ddf 100644 --- a/tests/runner/bookstore/output_3.json +++ b/tests/runner/bookstore/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7909", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_4.json b/tests/runner/bookstore/output_4.json index e4d056e83..5cedada11 100644 --- a/tests/runner/bookstore/output_4.json +++ b/tests/runner/bookstore/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7908", + "gas_remaining": "7975", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_5.json b/tests/runner/bookstore/output_5.json index 2876a2ca2..1c5d33587 100644 --- a/tests/runner/bookstore/output_5.json +++ b/tests/runner/bookstore/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7942", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_6.json b/tests/runner/bookstore/output_6.json index feaae2537..ebda08200 100644 --- a/tests/runner/bookstore/output_6.json +++ b/tests/runner/bookstore/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7913", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_7.json b/tests/runner/bookstore/output_7.json index 51d954dfe..9da306713 100644 --- a/tests/runner/bookstore/output_7.json +++ b/tests/runner/bookstore/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7942", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_8.json b/tests/runner/bookstore/output_8.json index ce1c0498b..87170cdd5 100644 --- a/tests/runner/bookstore/output_8.json +++ b/tests/runner/bookstore/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7915", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/bookstore/output_9.json b/tests/runner/bookstore/output_9.json index 36b49aaa4..8c4b3e774 100644 --- a/tests/runner/bookstore/output_9.json +++ b/tests/runner/bookstore/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7914", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/cfinvoke/output_1.json b/tests/runner/cfinvoke/output_1.json index f4469efbd..68b2fed9d 100644 --- a/tests/runner/cfinvoke/output_1.json +++ b/tests/runner/cfinvoke/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7940", + "gas_remaining": "7978", "_accepted": "true", "messages": [ { diff --git a/tests/runner/cfinvoke/output_2.json b/tests/runner/cfinvoke/output_2.json index e9e65cb81..b52a2e3d0 100644 --- a/tests/runner/cfinvoke/output_2.json +++ b/tests/runner/cfinvoke/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7937", + "gas_remaining": "7975", "_accepted": "false", "messages": [ { diff --git a/tests/runner/cfinvoke/output_3.json b/tests/runner/cfinvoke/output_3.json index 3aaf2ca7f..951b86c8d 100644 --- a/tests/runner/cfinvoke/output_3.json +++ b/tests/runner/cfinvoke/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7972", "_accepted": "false", "messages": [ { diff --git a/tests/runner/cfinvoke/output_4.json b/tests/runner/cfinvoke/output_4.json index 711ab07a3..5b38e47de 100644 --- a/tests/runner/cfinvoke/output_4.json +++ b/tests/runner/cfinvoke/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7960", + "gas_remaining": "7983", "_accepted": "true", "messages": [ { diff --git a/tests/runner/chain-call-balance-1/output_1.json b/tests/runner/chain-call-balance-1/output_1.json index 0c251ea70..e4a5e3c8e 100644 --- a/tests/runner/chain-call-balance-1/output_1.json +++ b/tests/runner/chain-call-balance-1/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7916", + "gas_remaining": "7978", "_accepted": "true", "messages": [ { diff --git a/tests/runner/chain-call-balance-2/output_1.json b/tests/runner/chain-call-balance-2/output_1.json index 245f31a66..9c9150aec 100644 --- a/tests/runner/chain-call-balance-2/output_1.json +++ b/tests/runner/chain-call-balance-2/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7940", + "gas_remaining": "7983", "_accepted": "true", "messages": [ { diff --git a/tests/runner/chain-call-balance-3/output_1.json b/tests/runner/chain-call-balance-3/output_1.json index 4bb713c0e..a6d60b664 100644 --- a/tests/runner/chain-call-balance-3/output_1.json +++ b/tests/runner/chain-call-balance-3/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7960", + "gas_remaining": "7983", "_accepted": "false", "messages": [ { diff --git a/tests/runner/chainid/output_1.json b/tests/runner/chainid/output_1.json index 358a381c0..4bdd0d902 100644 --- a/tests/runner/chainid/output_1.json +++ b/tests/runner/chainid/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7967", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/codehash/output_1.json b/tests/runner/codehash/output_1.json index 37d626844..8a971e041 100644 --- a/tests/runner/codehash/output_1.json +++ b/tests/runner/codehash/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7983", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/codehash/output_100.json b/tests/runner/codehash/output_100.json index f0734fc50..00ec7ee95 100644 --- a/tests/runner/codehash/output_100.json +++ b/tests/runner/codehash/output_100.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7957", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/codehash/output_101.json b/tests/runner/codehash/output_101.json index 51c8da7ae..6975543ce 100644 --- a/tests/runner/codehash/output_101.json +++ b/tests/runner/codehash/output_101.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7957", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/codehash/output_102.json b/tests/runner/codehash/output_102.json index abacfdb84..650ee12d1 100644 --- a/tests/runner/codehash/output_102.json +++ b/tests/runner/codehash/output_102.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7956", + "gas_remaining": "7999", "errors": [ { "error_message": "Error loading field: _codehash", diff --git a/tests/runner/codehash/output_2.json b/tests/runner/codehash/output_2.json index 37d626844..8a971e041 100644 --- a/tests/runner/codehash/output_2.json +++ b/tests/runner/codehash/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7983", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/codehash/output_3.json b/tests/runner/codehash/output_3.json index 37d626844..8a971e041 100644 --- a/tests/runner/codehash/output_3.json +++ b/tests/runner/codehash/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7983", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/codehash/output_4.json b/tests/runner/codehash/output_4.json index 37d626844..8a971e041 100644 --- a/tests/runner/codehash/output_4.json +++ b/tests/runner/codehash/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7983", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/constraint/init_output.json b/tests/runner/constraint/init_output.json index 361c7f54b..a44e54497 100644 --- a/tests/runner/constraint/init_output.json +++ b/tests/runner/constraint/init_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7915", + "gas_remaining": "7999", "errors": [ { "error_message": "Contract constraint violation", diff --git a/tests/runner/creationtest/init_output.json b/tests/runner/creationtest/init_output.json index 2186cd444..89c93f3df 100644 --- a/tests/runner/creationtest/init_output.json +++ b/tests/runner/creationtest/init_output.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "63506", + "gas_remaining": "63992", "_accepted": "false", "messages": null, "states": [ diff --git a/tests/runner/crowdfunding/init_output.json b/tests/runner/crowdfunding/init_output.json index 69e1f81f6..e2c74b32a 100644 --- a/tests/runner/crowdfunding/init_output.json +++ b/tests/runner/crowdfunding/init_output.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "59136", + "gas_remaining": "63972", "_accepted": "false", "messages": null, "states": [ diff --git a/tests/runner/crowdfunding/output_1.json b/tests/runner/crowdfunding/output_1.json index c481dd61c..376065bef 100644 --- a/tests/runner/crowdfunding/output_1.json +++ b/tests/runner/crowdfunding/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7963", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding/output_2.json b/tests/runner/crowdfunding/output_2.json index aa9682b51..cee6c42d8 100644 --- a/tests/runner/crowdfunding/output_2.json +++ b/tests/runner/crowdfunding/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7930", + "gas_remaining": "7954", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding/output_3.json b/tests/runner/crowdfunding/output_3.json index d4b3dc55f..7018fe195 100644 --- a/tests/runner/crowdfunding/output_3.json +++ b/tests/runner/crowdfunding/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7935", + "gas_remaining": "7959", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding/output_4.json b/tests/runner/crowdfunding/output_4.json index a56f1cee2..be2753a0e 100644 --- a/tests/runner/crowdfunding/output_4.json +++ b/tests/runner/crowdfunding/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7952", + "gas_remaining": "7976", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding/output_5.json b/tests/runner/crowdfunding/output_5.json index 4e8c85ba4..0c04dcf63 100644 --- a/tests/runner/crowdfunding/output_5.json +++ b/tests/runner/crowdfunding/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7915", + "gas_remaining": "7938", "_accepted": "false", "messages": [ { diff --git a/tests/runner/crowdfunding/output_6.json b/tests/runner/crowdfunding/output_6.json index f95467574..2411fb21a 100644 --- a/tests/runner/crowdfunding/output_6.json +++ b/tests/runner/crowdfunding/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7931", + "gas_remaining": "7954", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding_proc/init_goal_is_zero_output.json b/tests/runner/crowdfunding_proc/init_goal_is_zero_output.json index ecb7926c5..926393d49 100644 --- a/tests/runner/crowdfunding_proc/init_goal_is_zero_output.json +++ b/tests/runner/crowdfunding_proc/init_goal_is_zero_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7331", + "gas_remaining": "7995", "errors": [ { "error_message": "Contract constraint violation", diff --git a/tests/runner/crowdfunding_proc/output_1.json b/tests/runner/crowdfunding_proc/output_1.json index 356be0df9..2ceaa122b 100644 --- a/tests/runner/crowdfunding_proc/output_1.json +++ b/tests/runner/crowdfunding_proc/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7942", + "gas_remaining": "7966", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding_proc/output_2.json b/tests/runner/crowdfunding_proc/output_2.json index f706204d0..f719a05d3 100644 --- a/tests/runner/crowdfunding_proc/output_2.json +++ b/tests/runner/crowdfunding_proc/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7942", + "gas_remaining": "7966", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding_proc/output_3.json b/tests/runner/crowdfunding_proc/output_3.json index be1fae516..f0f34d4f6 100644 --- a/tests/runner/crowdfunding_proc/output_3.json +++ b/tests/runner/crowdfunding_proc/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7945", + "gas_remaining": "7968", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding_proc/output_4.json b/tests/runner/crowdfunding_proc/output_4.json index a56f1cee2..be2753a0e 100644 --- a/tests/runner/crowdfunding_proc/output_4.json +++ b/tests/runner/crowdfunding_proc/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7952", + "gas_remaining": "7976", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/crowdfunding_proc/output_5.json b/tests/runner/crowdfunding_proc/output_5.json index 623258324..9ebd49f58 100644 --- a/tests/runner/crowdfunding_proc/output_5.json +++ b/tests/runner/crowdfunding_proc/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7924", + "gas_remaining": "7948", "_accepted": "false", "messages": [ { diff --git a/tests/runner/crowdfunding_proc/output_6.json b/tests/runner/crowdfunding_proc/output_6.json index 7c55db272..396b5f944 100644 --- a/tests/runner/crowdfunding_proc/output_6.json +++ b/tests/runner/crowdfunding_proc/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7943", + "gas_remaining": "7966", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/earmarked-coin/output_1.json b/tests/runner/earmarked-coin/output_1.json index fa8d23cbe..310bed9dc 100644 --- a/tests/runner/earmarked-coin/output_1.json +++ b/tests/runner/earmarked-coin/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7930", + "gas_remaining": "7973", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/earmarked-coin/output_2.json b/tests/runner/earmarked-coin/output_2.json index 5d3bb485e..034693906 100644 --- a/tests/runner/earmarked-coin/output_2.json +++ b/tests/runner/earmarked-coin/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7909", + "gas_remaining": "7955", "_accepted": "false", "messages": [ { diff --git a/tests/runner/earmarked-coin/output_3.json b/tests/runner/earmarked-coin/output_3.json index 9a3d3c25e..794ca84bb 100644 --- a/tests/runner/earmarked-coin/output_3.json +++ b/tests/runner/earmarked-coin/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7925", + "gas_remaining": "7971", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/earmarked-coin/output_4.json b/tests/runner/earmarked-coin/output_4.json index 048452e41..a8882aac3 100644 --- a/tests/runner/earmarked-coin/output_4.json +++ b/tests/runner/earmarked-coin/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7933", + "gas_remaining": "7978", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/earmarked-coin/output_5.json b/tests/runner/earmarked-coin/output_5.json index 06fb22dd3..ff5c4fc74 100644 --- a/tests/runner/earmarked-coin/output_5.json +++ b/tests/runner/earmarked-coin/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7933", + "gas_remaining": "7958", "_accepted": "false", "messages": [ { diff --git a/tests/runner/earmarked-coin/output_6.json b/tests/runner/earmarked-coin/output_6.json index 0236f44af..a8882aac3 100644 --- a/tests/runner/earmarked-coin/output_6.json +++ b/tests/runner/earmarked-coin/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7954", + "gas_remaining": "7978", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/ecdsa/output_1.json b/tests/runner/ecdsa/output_1.json index 178815fc0..dabfd28da 100644 --- a/tests/runner/ecdsa/output_1.json +++ b/tests/runner/ecdsa/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7864", + "gas_remaining": "7938", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ecdsa/output_2.json b/tests/runner/ecdsa/output_2.json index 92db970fb..09fbf7b69 100644 --- a/tests/runner/ecdsa/output_2.json +++ b/tests/runner/ecdsa/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7863", + "gas_remaining": "7937", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ecdsa/output_3.json b/tests/runner/ecdsa/output_3.json index 178815fc0..dabfd28da 100644 --- a/tests/runner/ecdsa/output_3.json +++ b/tests/runner/ecdsa/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7864", + "gas_remaining": "7938", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ecdsa/output_4.json b/tests/runner/ecdsa/output_4.json index 971ef65ae..07d245f25 100644 --- a/tests/runner/ecdsa/output_4.json +++ b/tests/runner/ecdsa/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7869", + "gas_remaining": "7937", "_accepted": "false", "messages": [ { diff --git a/tests/runner/empty/output_1.json b/tests/runner/empty/output_1.json index fddace928..f663ce2be 100644 --- a/tests/runner/empty/output_1.json +++ b/tests/runner/empty/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7969", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/exception-example/output_1.json b/tests/runner/exception-example/output_1.json index 6cc2264a7..697610826 100644 --- a/tests/runner/exception-example/output_1.json +++ b/tests/runner/exception-example/output_1.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7951", + "gas_remaining": "7989", "errors": [ { "error_message": diff --git a/tests/runner/exception-example/output_2.json b/tests/runner/exception-example/output_2.json index e538da621..80e20299d 100644 --- a/tests/runner/exception-example/output_2.json +++ b/tests/runner/exception-example/output_2.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7960", + "gas_remaining": "7999", "errors": [ { "error_message": "Exception thrown", diff --git a/tests/runner/fungible-token/output_0.json b/tests/runner/fungible-token/output_0.json index 272b3be3a..ded7cc764 100644 --- a/tests/runner/fungible-token/output_0.json +++ b/tests/runner/fungible-token/output_0.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7928", + "gas_remaining": "7971", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_1.json b/tests/runner/fungible-token/output_1.json index 102d9da4d..667944473 100644 --- a/tests/runner/fungible-token/output_1.json +++ b/tests/runner/fungible-token/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7950", + "gas_remaining": "7973", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_2.json b/tests/runner/fungible-token/output_2.json index c62a92ccc..e9507fc8c 100644 --- a/tests/runner/fungible-token/output_2.json +++ b/tests/runner/fungible-token/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7902", + "gas_remaining": "7958", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_3.json b/tests/runner/fungible-token/output_3.json index 2a94d92f8..687ba8ef1 100644 --- a/tests/runner/fungible-token/output_3.json +++ b/tests/runner/fungible-token/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7906", + "gas_remaining": "7962", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_4.json b/tests/runner/fungible-token/output_4.json index 397c29ba8..3c8165e4f 100644 --- a/tests/runner/fungible-token/output_4.json +++ b/tests/runner/fungible-token/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7910", + "gas_remaining": "7966", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_5.json b/tests/runner/fungible-token/output_5.json index 037204a44..10177ba76 100644 --- a/tests/runner/fungible-token/output_5.json +++ b/tests/runner/fungible-token/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7910", + "gas_remaining": "7966", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_6.json b/tests/runner/fungible-token/output_6.json index abd16c286..d48bd3746 100644 --- a/tests/runner/fungible-token/output_6.json +++ b/tests/runner/fungible-token/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7876", + "gas_remaining": "7950", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_7.json b/tests/runner/fungible-token/output_7.json index ef64f49c3..8b94d43d2 100644 --- a/tests/runner/fungible-token/output_7.json +++ b/tests/runner/fungible-token/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7884", + "gas_remaining": "7958", "_accepted": "false", "messages": [ { diff --git a/tests/runner/fungible-token/output_8.json b/tests/runner/fungible-token/output_8.json index b9cbd9033..ef1567d09 100644 --- a/tests/runner/fungible-token/output_8.json +++ b/tests/runner/fungible-token/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7904", + "gas_remaining": "7966", "_accepted": "false", "messages": [ { diff --git a/tests/runner/helloWorld/output_1.json b/tests/runner/helloWorld/output_1.json index 180165b98..c3f7ab9d9 100644 --- a/tests/runner/helloWorld/output_1.json +++ b/tests/runner/helloWorld/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7944", + "gas_remaining": "7982", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/helloWorld/output_10.json b/tests/runner/helloWorld/output_10.json index 299bdfddb..363218f61 100644 --- a/tests/runner/helloWorld/output_10.json +++ b/tests/runner/helloWorld/output_10.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7973", + "gas_remaining": "7996", "errors": [ { "error_message": "Expected string, got int", diff --git a/tests/runner/helloWorld/output_11.json b/tests/runner/helloWorld/output_11.json index ea5ea6524..f70dc995a 100644 --- a/tests/runner/helloWorld/output_11.json +++ b/tests/runner/helloWorld/output_11.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7973", + "gas_remaining": "7996", "errors": [ { "error_message": "Field missing: _balance", diff --git a/tests/runner/helloWorld/output_2.json b/tests/runner/helloWorld/output_2.json index a6acbad75..dd2d3df44 100644 --- a/tests/runner/helloWorld/output_2.json +++ b/tests/runner/helloWorld/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7947", + "gas_remaining": "7985", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/helloWorld/output_3.json b/tests/runner/helloWorld/output_3.json index cc375cad6..e26006dfe 100644 --- a/tests/runner/helloWorld/output_3.json +++ b/tests/runner/helloWorld/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7960", + "gas_remaining": "7983", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/helloWorld/output_4.json b/tests/runner/helloWorld/output_4.json index 2359e0044..ac78d1460 100644 --- a/tests/runner/helloWorld/output_4.json +++ b/tests/runner/helloWorld/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7962", + "gas_remaining": "7986", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/helloWorld/output_5.json b/tests/runner/helloWorld/output_5.json index ee1752b24..66a4ed3e1 100644 --- a/tests/runner/helloWorld/output_5.json +++ b/tests/runner/helloWorld/output_5.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7972", + "gas_remaining": "7996", "errors": [ { "error_message": diff --git a/tests/runner/helloWorld/output_6.json b/tests/runner/helloWorld/output_6.json index 95f24da5a..58a1d4bcc 100644 --- a/tests/runner/helloWorld/output_6.json +++ b/tests/runner/helloWorld/output_6.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7959", + "gas_remaining": "7996", "errors": [ { "error_message": "No parameter found matching message entry: Unknown", diff --git a/tests/runner/helloWorld/output_7.json b/tests/runner/helloWorld/output_7.json index b01f4be32..490b9ad20 100644 --- a/tests/runner/helloWorld/output_7.json +++ b/tests/runner/helloWorld/output_7.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7958", + "gas_remaining": "7996", "errors": [ { "error_message": "Duplicate field entries found", diff --git a/tests/runner/helloWorld/output_8.json b/tests/runner/helloWorld/output_8.json index 461e754dc..900ebc966 100644 --- a/tests/runner/helloWorld/output_8.json +++ b/tests/runner/helloWorld/output_8.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7973", + "gas_remaining": "7996", "errors": [ { "error_message": "Unknown field Unknown in blockchain JSON", diff --git a/tests/runner/helloWorld/output_9.json b/tests/runner/helloWorld/output_9.json index 9c56980ea..840e9dcc0 100644 --- a/tests/runner/helloWorld/output_9.json +++ b/tests/runner/helloWorld/output_9.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7957", + "gas_remaining": "7996", "errors": [ { "error_message": diff --git a/tests/runner/import-test-lib/output_1.json b/tests/runner/import-test-lib/output_1.json index ac9b25188..239ca5703 100644 --- a/tests/runner/import-test-lib/output_1.json +++ b/tests/runner/import-test-lib/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7916", + "gas_remaining": "7939", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/import-test-lib/output_2.json b/tests/runner/import-test-lib/output_2.json index 829c756df..9e6922f92 100644 --- a/tests/runner/import-test-lib/output_2.json +++ b/tests/runner/import-test-lib/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7914", + "gas_remaining": "7939", "_accepted": "false", "messages": [ { diff --git a/tests/runner/import-test-lib/output_3.json b/tests/runner/import-test-lib/output_3.json index 885ee59ec..fd400a355 100644 --- a/tests/runner/import-test-lib/output_3.json +++ b/tests/runner/import-test-lib/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7916", + "gas_remaining": "7941", "_accepted": "false", "messages": [ { diff --git a/tests/runner/import-test-lib2/output_1.json b/tests/runner/import-test-lib2/output_1.json index 99e350835..d1bb97fc0 100644 --- a/tests/runner/import-test-lib2/output_1.json +++ b/tests/runner/import-test-lib2/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7964", "_accepted": "false", "messages": [ { diff --git a/tests/runner/import-test-lib3/output_1.json b/tests/runner/import-test-lib3/output_1.json index 1b5ef4307..55ae0349f 100644 --- a/tests/runner/import-test-lib3/output_1.json +++ b/tests/runner/import-test-lib3/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7949", + "gas_remaining": "7973", "_accepted": "false", "messages": [ { diff --git a/tests/runner/inplace-map/output_1.json b/tests/runner/inplace-map/output_1.json index b83f408b1..75ef21e8a 100644 --- a/tests/runner/inplace-map/output_1.json +++ b/tests/runner/inplace-map/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_10.json b/tests/runner/inplace-map/output_10.json index f93411647..d7fd44cdb 100644 --- a/tests/runner/inplace-map/output_10.json +++ b/tests/runner/inplace-map/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7971", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_11.json b/tests/runner/inplace-map/output_11.json index f93411647..d7fd44cdb 100644 --- a/tests/runner/inplace-map/output_11.json +++ b/tests/runner/inplace-map/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7971", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_12.json b/tests/runner/inplace-map/output_12.json index c863bb045..8c6969b6f 100644 --- a/tests/runner/inplace-map/output_12.json +++ b/tests/runner/inplace-map/output_12.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7992", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_13.json b/tests/runner/inplace-map/output_13.json index 2c9c72c4d..215f9eec8 100644 --- a/tests/runner/inplace-map/output_13.json +++ b/tests/runner/inplace-map/output_13.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7970", + "gas_remaining": "7993", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_14.json b/tests/runner/inplace-map/output_14.json index 7394d76ac..0f83453bb 100644 --- a/tests/runner/inplace-map/output_14.json +++ b/tests/runner/inplace-map/output_14.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7992", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_2.json b/tests/runner/inplace-map/output_2.json index 4cabd0d33..188c7f824 100644 --- a/tests/runner/inplace-map/output_2.json +++ b/tests/runner/inplace-map/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7967", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_3.json b/tests/runner/inplace-map/output_3.json index c9ebcf0c6..e9634a753 100644 --- a/tests/runner/inplace-map/output_3.json +++ b/tests/runner/inplace-map/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7967", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_4.json b/tests/runner/inplace-map/output_4.json index 839287c19..db0ddb152 100644 --- a/tests/runner/inplace-map/output_4.json +++ b/tests/runner/inplace-map/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_5.json b/tests/runner/inplace-map/output_5.json index 49501b0bf..41d677242 100644 --- a/tests/runner/inplace-map/output_5.json +++ b/tests/runner/inplace-map/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7992", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_6.json b/tests/runner/inplace-map/output_6.json index 0df3d6eba..3682ee122 100644 --- a/tests/runner/inplace-map/output_6.json +++ b/tests/runner/inplace-map/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7967", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_7.json b/tests/runner/inplace-map/output_7.json index f54077acf..ba391b304 100644 --- a/tests/runner/inplace-map/output_7.json +++ b/tests/runner/inplace-map/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7992", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_8.json b/tests/runner/inplace-map/output_8.json index 9d34e7d38..52e9e1ff8 100644 --- a/tests/runner/inplace-map/output_8.json +++ b/tests/runner/inplace-map/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7971", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/inplace-map/output_9.json b/tests/runner/inplace-map/output_9.json index 5ddd77925..6d577b08f 100644 --- a/tests/runner/inplace-map/output_9.json +++ b/tests/runner/inplace-map/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7971", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/listiter/output_1.json b/tests/runner/listiter/output_1.json index 92d54cbe3..259d45028 100644 --- a/tests/runner/listiter/output_1.json +++ b/tests/runner/listiter/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/loopy-tree-call/output_1.json b/tests/runner/loopy-tree-call/output_1.json index 5f9d118d1..05727c8cd 100644 --- a/tests/runner/loopy-tree-call/output_1.json +++ b/tests/runner/loopy-tree-call/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7586", + "gas_remaining": "7671", "_accepted": "false", "messages": [ { diff --git a/tests/runner/map_as_cparam/init_illegal_key_ipc_output.json b/tests/runner/map_as_cparam/init_illegal_key_ipc_output.json index ec074940f..60080c411 100644 --- a/tests/runner/map_as_cparam/init_illegal_key_ipc_output.json +++ b/tests/runner/map_as_cparam/init_illegal_key_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7860", + "gas_remaining": "7999", "errors": [ { "error_message": "Address type not allowed in json file", @@ -8,4 +8,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/map_as_cparam/init_illegal_value_ipc_output.json b/tests/runner/map_as_cparam/init_illegal_value_ipc_output.json index 690111622..60080c411 100644 --- a/tests/runner/map_as_cparam/init_illegal_value_ipc_output.json +++ b/tests/runner/map_as_cparam/init_illegal_value_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7861", + "gas_remaining": "7999", "errors": [ { "error_message": "Address type not allowed in json file", @@ -8,4 +8,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/map_as_cparam/init_ipc_output.json b/tests/runner/map_as_cparam/init_ipc_output.json index 8a7411ad6..6286897a3 100644 --- a/tests/runner/map_as_cparam/init_ipc_output.json +++ b/tests/runner/map_as_cparam/init_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "62942", + "gas_remaining": "63993", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/map_as_cparam/init_unassignable_2_ipc_output.json b/tests/runner/map_as_cparam/init_unassignable_2_ipc_output.json index 8a7411ad6..6286897a3 100644 --- a/tests/runner/map_as_cparam/init_unassignable_2_ipc_output.json +++ b/tests/runner/map_as_cparam/init_unassignable_2_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "62942", + "gas_remaining": "63993", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/map_as_cparam/init_unassignable_ipc_output.json b/tests/runner/map_as_cparam/init_unassignable_ipc_output.json index 8a7411ad6..6286897a3 100644 --- a/tests/runner/map_as_cparam/init_unassignable_ipc_output.json +++ b/tests/runner/map_as_cparam/init_unassignable_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "62942", + "gas_remaining": "63993", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/map_corners_test/output_1.json b/tests/runner/map_corners_test/output_1.json index 66e17f942..e711f9db4 100644 --- a/tests/runner/map_corners_test/output_1.json +++ b/tests/runner/map_corners_test/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7967", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_10.json b/tests/runner/map_corners_test/output_10.json index e32855e58..6007861e3 100644 --- a/tests/runner/map_corners_test/output_10.json +++ b/tests/runner/map_corners_test/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7966", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_11.json b/tests/runner/map_corners_test/output_11.json index 49de96eb6..aa7496442 100644 --- a/tests/runner/map_corners_test/output_11.json +++ b/tests/runner/map_corners_test/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7973", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_111.json b/tests/runner/map_corners_test/output_111.json index 00b0f3f38..ade8dd5b4 100644 --- a/tests/runner/map_corners_test/output_111.json +++ b/tests/runner/map_corners_test/output_111.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7961", + "gas_remaining": "7984", "errors": [ { "error_message": diff --git a/tests/runner/map_corners_test/output_112.json b/tests/runner/map_corners_test/output_112.json index 1f0d98232..699d3fe8f 100644 --- a/tests/runner/map_corners_test/output_112.json +++ b/tests/runner/map_corners_test/output_112.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7961", + "gas_remaining": "7984", "errors": [ { "error_message": diff --git a/tests/runner/map_corners_test/output_113.json b/tests/runner/map_corners_test/output_113.json index 374de9bec..e455f56da 100644 --- a/tests/runner/map_corners_test/output_113.json +++ b/tests/runner/map_corners_test/output_113.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7963", + "gas_remaining": "7986", "errors": [ { "error_message": diff --git a/tests/runner/map_corners_test/output_12.json b/tests/runner/map_corners_test/output_12.json index 1a97fced7..6c590ab5c 100644 --- a/tests/runner/map_corners_test/output_12.json +++ b/tests/runner/map_corners_test/output_12.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7973", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_13.json b/tests/runner/map_corners_test/output_13.json index 162bef3b3..b53215c4c 100644 --- a/tests/runner/map_corners_test/output_13.json +++ b/tests/runner/map_corners_test/output_13.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7966", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_14.json b/tests/runner/map_corners_test/output_14.json index db309e552..c245c4846 100644 --- a/tests/runner/map_corners_test/output_14.json +++ b/tests/runner/map_corners_test/output_14.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_15.json b/tests/runner/map_corners_test/output_15.json index a26364bfd..e2a6f3594 100644 --- a/tests/runner/map_corners_test/output_15.json +++ b/tests/runner/map_corners_test/output_15.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7928", + "gas_remaining": "7951", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_16.json b/tests/runner/map_corners_test/output_16.json index b040d0ba0..b3b2f643b 100644 --- a/tests/runner/map_corners_test/output_16.json +++ b/tests/runner/map_corners_test/output_16.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7964", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_17.json b/tests/runner/map_corners_test/output_17.json index 669f732b5..cbf298361 100644 --- a/tests/runner/map_corners_test/output_17.json +++ b/tests/runner/map_corners_test/output_17.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7974", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_18.json b/tests/runner/map_corners_test/output_18.json index 9a76eb1ab..5b473ed8d 100644 --- a/tests/runner/map_corners_test/output_18.json +++ b/tests/runner/map_corners_test/output_18.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7974", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_19.json b/tests/runner/map_corners_test/output_19.json index a91441ecc..a4322346d 100644 --- a/tests/runner/map_corners_test/output_19.json +++ b/tests/runner/map_corners_test/output_19.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7992", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_2.json b/tests/runner/map_corners_test/output_2.json index 963c4368f..a785c4d2f 100644 --- a/tests/runner/map_corners_test/output_2.json +++ b/tests/runner/map_corners_test/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7966", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_20.json b/tests/runner/map_corners_test/output_20.json index a91441ecc..a4322346d 100644 --- a/tests/runner/map_corners_test/output_20.json +++ b/tests/runner/map_corners_test/output_20.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7992", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_21.json b/tests/runner/map_corners_test/output_21.json index 9a76eb1ab..5b473ed8d 100644 --- a/tests/runner/map_corners_test/output_21.json +++ b/tests/runner/map_corners_test/output_21.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7974", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_22.json b/tests/runner/map_corners_test/output_22.json index 9a76eb1ab..5b473ed8d 100644 --- a/tests/runner/map_corners_test/output_22.json +++ b/tests/runner/map_corners_test/output_22.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7974", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_23.json b/tests/runner/map_corners_test/output_23.json index af2663783..eb9a87da6 100644 --- a/tests/runner/map_corners_test/output_23.json +++ b/tests/runner/map_corners_test/output_23.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_24.json b/tests/runner/map_corners_test/output_24.json index af2663783..eb9a87da6 100644 --- a/tests/runner/map_corners_test/output_24.json +++ b/tests/runner/map_corners_test/output_24.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_3.json b/tests/runner/map_corners_test/output_3.json index 07cd577df..91d88684b 100644 --- a/tests/runner/map_corners_test/output_3.json +++ b/tests/runner/map_corners_test/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_4.json b/tests/runner/map_corners_test/output_4.json index 85593b812..967251846 100644 --- a/tests/runner/map_corners_test/output_4.json +++ b/tests/runner/map_corners_test/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7971", + "gas_remaining": "7993", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_5.json b/tests/runner/map_corners_test/output_5.json index 8ebdc591c..622104680 100644 --- a/tests/runner/map_corners_test/output_5.json +++ b/tests/runner/map_corners_test/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7956", + "gas_remaining": "7979", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_51.json b/tests/runner/map_corners_test/output_51.json index 207c61995..36020106f 100644 --- a/tests/runner/map_corners_test/output_51.json +++ b/tests/runner/map_corners_test/output_51.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7974", "_accepted": "false", "messages": [ { diff --git a/tests/runner/map_corners_test/output_52.json b/tests/runner/map_corners_test/output_52.json index 6c13c6f86..caf3cc083 100644 --- a/tests/runner/map_corners_test/output_52.json +++ b/tests/runner/map_corners_test/output_52.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7974", "_accepted": "false", "messages": [ { diff --git a/tests/runner/map_corners_test/output_53.json b/tests/runner/map_corners_test/output_53.json index d829be852..a2212775a 100644 --- a/tests/runner/map_corners_test/output_53.json +++ b/tests/runner/map_corners_test/output_53.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7976", "_accepted": "false", "messages": [ { diff --git a/tests/runner/map_corners_test/output_6.json b/tests/runner/map_corners_test/output_6.json index ee5ddb7d5..703724cab 100644 --- a/tests/runner/map_corners_test/output_6.json +++ b/tests/runner/map_corners_test/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7978", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_7.json b/tests/runner/map_corners_test/output_7.json index 5d4509ba4..5e4d84ac5 100644 --- a/tests/runner/map_corners_test/output_7.json +++ b/tests/runner/map_corners_test/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7962", + "gas_remaining": "7984", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_8.json b/tests/runner/map_corners_test/output_8.json index ed9c3ed32..cbeeef4df 100644 --- a/tests/runner/map_corners_test/output_8.json +++ b/tests/runner/map_corners_test/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7961", + "gas_remaining": "7984", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test/output_9.json b/tests/runner/map_corners_test/output_9.json index 78f7b0be9..243e83ccd 100644 --- a/tests/runner/map_corners_test/output_9.json +++ b/tests/runner/map_corners_test/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7968", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_corners_test_combined/output_1.json b/tests/runner/map_corners_test_combined/output_1.json index 147428ada..117ff4d5d 100644 --- a/tests/runner/map_corners_test_combined/output_1.json +++ b/tests/runner/map_corners_test_combined/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7724", + "gas_remaining": "7747", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/map_key_test/output_1.json b/tests/runner/map_key_test/output_1.json index c6a817a93..1d7ea0bf0 100644 --- a/tests/runner/map_key_test/output_1.json +++ b/tests/runner/map_key_test/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7974", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/mappair/output_1.json b/tests/runner/mappair/output_1.json index 7f7af7ce3..5fb8736a2 100644 --- a/tests/runner/mappair/output_1.json +++ b/tests/runner/mappair/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7965", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/mappair/output_12.json b/tests/runner/mappair/output_12.json index fb29c2349..aaa70cb5f 100644 --- a/tests/runner/mappair/output_12.json +++ b/tests/runner/mappair/output_12.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7956", + "gas_remaining": "7994", "errors": [ { "error_message": diff --git a/tests/runner/mappair/output_13.json b/tests/runner/mappair/output_13.json index d3929987c..bb6dba6ab 100644 --- a/tests/runner/mappair/output_13.json +++ b/tests/runner/mappair/output_13.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7970", + "gas_remaining": "7994", "errors": [ { "error_message": diff --git a/tests/runner/mappair/output_14.json b/tests/runner/mappair/output_14.json index 713183d53..35eb7c0ed 100644 --- a/tests/runner/mappair/output_14.json +++ b/tests/runner/mappair/output_14.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7969", + "gas_remaining": "7992", "errors": [ { "error_message": diff --git a/tests/runner/mappair/output_2.json b/tests/runner/mappair/output_2.json index af1037663..20aab2306 100644 --- a/tests/runner/mappair/output_2.json +++ b/tests/runner/mappair/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7930", + "gas_remaining": "7967", "_accepted": "false", "messages": [ { diff --git a/tests/runner/mappair/output_3.json b/tests/runner/mappair/output_3.json index 905503bdd..d1abd3b4b 100644 --- a/tests/runner/mappair/output_3.json +++ b/tests/runner/mappair/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7926", + "gas_remaining": "7963", "_accepted": "false", "messages": [ { diff --git a/tests/runner/mappair/output_4.json b/tests/runner/mappair/output_4.json index b2185d728..1d83ca9f0 100644 --- a/tests/runner/mappair/output_4.json +++ b/tests/runner/mappair/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7948", + "gas_remaining": "7971", "_accepted": "false", "messages": [ { diff --git a/tests/runner/mappair/output_5.json b/tests/runner/mappair/output_5.json index 7bfb9f03c..384a19980 100644 --- a/tests/runner/mappair/output_5.json +++ b/tests/runner/mappair/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7969", "_accepted": "false", "messages": [ { diff --git a/tests/runner/mappair/output_6.json b/tests/runner/mappair/output_6.json index 2d29e786a..7e6c074f1 100644 --- a/tests/runner/mappair/output_6.json +++ b/tests/runner/mappair/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7918", + "gas_remaining": "7942", "_accepted": "false", "messages": [ { diff --git a/tests/runner/mappair/output_7.json b/tests/runner/mappair/output_7.json index e51c2e162..c73df5d4c 100644 --- a/tests/runner/mappair/output_7.json +++ b/tests/runner/mappair/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7945", + "gas_remaining": "7969", "_accepted": "false", "messages": [ { diff --git a/tests/runner/mappair/output_8.json b/tests/runner/mappair/output_8.json index c0a612139..07f235847 100644 --- a/tests/runner/mappair/output_8.json +++ b/tests/runner/mappair/output_8.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7970", + "gas_remaining": "7994", "errors": [ { "error_message": diff --git a/tests/runner/mappair/output_9.json b/tests/runner/mappair/output_9.json index 6ee5b4a34..eb7cdd445 100644 --- a/tests/runner/mappair/output_9.json +++ b/tests/runner/mappair/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7954", + "gas_remaining": "7978", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/multiple-msgs/output_1.json b/tests/runner/multiple-msgs/output_1.json index 4a3151f6a..6ef8f0c43 100644 --- a/tests/runner/multiple-msgs/output_1.json +++ b/tests/runner/multiple-msgs/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7942", + "gas_remaining": "7966", "_accepted": "false", "messages": [ { diff --git a/tests/runner/nonfungible-token/output_1.json b/tests/runner/nonfungible-token/output_1.json index 0e8b7025c..9f6c94a2d 100644 --- a/tests/runner/nonfungible-token/output_1.json +++ b/tests/runner/nonfungible-token/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7908", + "gas_remaining": "7963", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_10.json b/tests/runner/nonfungible-token/output_10.json index 7ae46b090..b5a53e4d2 100644 --- a/tests/runner/nonfungible-token/output_10.json +++ b/tests/runner/nonfungible-token/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7842", + "gas_remaining": "7916", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_11.json b/tests/runner/nonfungible-token/output_11.json index 1bc6095f8..790d6984e 100644 --- a/tests/runner/nonfungible-token/output_11.json +++ b/tests/runner/nonfungible-token/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7839", + "gas_remaining": "7913", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_12.json b/tests/runner/nonfungible-token/output_12.json index f50103648..51de792eb 100644 --- a/tests/runner/nonfungible-token/output_12.json +++ b/tests/runner/nonfungible-token/output_12.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7889", + "gas_remaining": "7944", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_2.json b/tests/runner/nonfungible-token/output_2.json index a8128e2ab..08a1d3195 100644 --- a/tests/runner/nonfungible-token/output_2.json +++ b/tests/runner/nonfungible-token/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7896", + "gas_remaining": "7951", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_21.json b/tests/runner/nonfungible-token/output_21.json index 8a0c35c0e..f4e18227f 100644 --- a/tests/runner/nonfungible-token/output_21.json +++ b/tests/runner/nonfungible-token/output_21.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7924", + "gas_remaining": "7979", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_22.json b/tests/runner/nonfungible-token/output_22.json index 98d049b1f..ef75b6fd8 100644 --- a/tests/runner/nonfungible-token/output_22.json +++ b/tests/runner/nonfungible-token/output_22.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7917", + "gas_remaining": "7972", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_23.json b/tests/runner/nonfungible-token/output_23.json index aab1cf817..b87261090 100644 --- a/tests/runner/nonfungible-token/output_23.json +++ b/tests/runner/nonfungible-token/output_23.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7881", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_24.json b/tests/runner/nonfungible-token/output_24.json index 1b8346a64..8a20e6d6c 100644 --- a/tests/runner/nonfungible-token/output_24.json +++ b/tests/runner/nonfungible-token/output_24.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7894", + "gas_remaining": "7969", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_25.json b/tests/runner/nonfungible-token/output_25.json index 15b5d1b27..f1cae2a7a 100644 --- a/tests/runner/nonfungible-token/output_25.json +++ b/tests/runner/nonfungible-token/output_25.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7883", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_26.json b/tests/runner/nonfungible-token/output_26.json index 189e17b3b..b54fe4556 100644 --- a/tests/runner/nonfungible-token/output_26.json +++ b/tests/runner/nonfungible-token/output_26.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7905", + "gas_remaining": "7961", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_27.json b/tests/runner/nonfungible-token/output_27.json index 6215d7168..d58f8ba84 100644 --- a/tests/runner/nonfungible-token/output_27.json +++ b/tests/runner/nonfungible-token/output_27.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7908", + "gas_remaining": "7979", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_3.json b/tests/runner/nonfungible-token/output_3.json index 3d8d41f4c..cf985b607 100644 --- a/tests/runner/nonfungible-token/output_3.json +++ b/tests/runner/nonfungible-token/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7848", + "gas_remaining": "7922", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_4.json b/tests/runner/nonfungible-token/output_4.json index 9d4cebca8..105da6ca4 100644 --- a/tests/runner/nonfungible-token/output_4.json +++ b/tests/runner/nonfungible-token/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7984", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_5.json b/tests/runner/nonfungible-token/output_5.json index 9d4cebca8..105da6ca4 100644 --- a/tests/runner/nonfungible-token/output_5.json +++ b/tests/runner/nonfungible-token/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7941", + "gas_remaining": "7984", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_6.json b/tests/runner/nonfungible-token/output_6.json index f5f92b822..2637f0d99 100644 --- a/tests/runner/nonfungible-token/output_6.json +++ b/tests/runner/nonfungible-token/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7977", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_7.json b/tests/runner/nonfungible-token/output_7.json index 000a0a6f0..ce9abc67d 100644 --- a/tests/runner/nonfungible-token/output_7.json +++ b/tests/runner/nonfungible-token/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7895", + "gas_remaining": "7950", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_8.json b/tests/runner/nonfungible-token/output_8.json index 87a2262b9..47e0582e7 100644 --- a/tests/runner/nonfungible-token/output_8.json +++ b/tests/runner/nonfungible-token/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7900", + "gas_remaining": "7970", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/nonfungible-token/output_9.json b/tests/runner/nonfungible-token/output_9.json index ea8de0dde..d22cef6d8 100644 --- a/tests/runner/nonfungible-token/output_9.json +++ b/tests/runner/nonfungible-token/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7894", + "gas_remaining": "7965", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/one-msg/output_1.json b/tests/runner/one-msg/output_1.json index e6f8d3747..c018ce3c1 100644 --- a/tests/runner/one-msg/output_1.json +++ b/tests/runner/one-msg/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7957", + "gas_remaining": "7980", "_accepted": "false", "messages": [ { diff --git a/tests/runner/one-msg1/output_1.json b/tests/runner/one-msg1/output_1.json index 25c9b6ae5..c018ce3c1 100644 --- a/tests/runner/one-msg1/output_1.json +++ b/tests/runner/one-msg1/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7956", + "gas_remaining": "7980", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ping/output_0.json b/tests/runner/ping/output_0.json index 96906fd46..4bfc3f41a 100644 --- a/tests/runner/ping/output_0.json +++ b/tests/runner/ping/output_0.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/ping/output_1.json b/tests/runner/ping/output_1.json index 08238628f..a48d0811f 100644 --- a/tests/runner/ping/output_1.json +++ b/tests/runner/ping/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7950", + "gas_remaining": "7973", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ping/output_2.json b/tests/runner/ping/output_2.json index 72dca0831..7e4233bf4 100644 --- a/tests/runner/ping/output_2.json +++ b/tests/runner/ping/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7950", + "gas_remaining": "7973", "_accepted": "false", "messages": [ { diff --git a/tests/runner/ping/output_3.json b/tests/runner/ping/output_3.json index 5dc18486f..55b1a4e74 100644 --- a/tests/runner/ping/output_3.json +++ b/tests/runner/ping/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7966", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/pong/output_0.json b/tests/runner/pong/output_0.json index f1f66c042..aa7c5e0aa 100644 --- a/tests/runner/pong/output_0.json +++ b/tests/runner/pong/output_0.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/pong/output_1.json b/tests/runner/pong/output_1.json index 9f86b02d2..e3e3e5c8f 100644 --- a/tests/runner/pong/output_1.json +++ b/tests/runner/pong/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7950", + "gas_remaining": "7973", "_accepted": "false", "messages": [ { diff --git a/tests/runner/pong/output_2.json b/tests/runner/pong/output_2.json index b8618f0fe..d9cf80843 100644 --- a/tests/runner/pong/output_2.json +++ b/tests/runner/pong/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7950", + "gas_remaining": "7973", "_accepted": "false", "messages": [ { diff --git a/tests/runner/pong/output_3.json b/tests/runner/pong/output_3.json index 6a82ce0eb..b3c4d1d30 100644 --- a/tests/runner/pong/output_3.json +++ b/tests/runner/pong/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7970", + "gas_remaining": "7993", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/init_address_type_ipc_output.json b/tests/runner/remote_state_reads/init_address_type_ipc_output.json index c4b542ba7..60080c411 100644 --- a/tests/runner/remote_state_reads/init_address_type_ipc_output.json +++ b/tests/runner/remote_state_reads/init_address_type_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7063", + "gas_remaining": "7999", "errors": [ { "error_message": "Address type not allowed in json file", @@ -8,4 +8,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_assignable_map_types_ipc_output.json b/tests/runner/remote_state_reads/init_assignable_map_types_ipc_output.json index ad5942eba..41b17fefd 100644 --- a/tests/runner/remote_state_reads/init_assignable_map_types_ipc_output.json +++ b/tests/runner/remote_state_reads/init_assignable_map_types_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "56484", + "gas_remaining": "63965", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_balance_and_nonce_ipc_output.json b/tests/runner/remote_state_reads/init_balance_and_nonce_ipc_output.json index ad5942eba..41b17fefd 100644 --- a/tests/runner/remote_state_reads/init_balance_and_nonce_ipc_output.json +++ b/tests/runner/remote_state_reads/init_balance_and_nonce_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "56484", + "gas_remaining": "63965", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_balance_no_nonce_ipc_output.json b/tests/runner/remote_state_reads/init_balance_no_nonce_ipc_output.json index ad5942eba..41b17fefd 100644 --- a/tests/runner/remote_state_reads/init_balance_no_nonce_ipc_output.json +++ b/tests/runner/remote_state_reads/init_balance_no_nonce_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "56484", + "gas_remaining": "63965", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_ipc_output.json b/tests/runner/remote_state_reads/init_ipc_output.json index ad5942eba..41b17fefd 100644 --- a/tests/runner/remote_state_reads/init_ipc_output.json +++ b/tests/runner/remote_state_reads/init_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "56484", + "gas_remaining": "63965", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_missing_field_ipc_output.json b/tests/runner/remote_state_reads/init_missing_field_ipc_output.json index 7c025d2a8..a83458e0b 100644 --- a/tests/runner/remote_state_reads/init_missing_field_ipc_output.json +++ b/tests/runner/remote_state_reads/init_missing_field_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7059", + "gas_remaining": "7994", "errors": [ { "error_message": @@ -9,4 +9,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_no_address_ipc_output.json b/tests/runner/remote_state_reads/init_no_address_ipc_output.json index 36782258f..9d43afeb8 100644 --- a/tests/runner/remote_state_reads/init_no_address_ipc_output.json +++ b/tests/runner/remote_state_reads/init_no_address_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7058", + "gas_remaining": "7994", "errors": [ { "error_message": @@ -9,4 +9,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_nonce_no_balance_ipc_output.json b/tests/runner/remote_state_reads/init_nonce_no_balance_ipc_output.json index ad5942eba..41b17fefd 100644 --- a/tests/runner/remote_state_reads/init_nonce_no_balance_ipc_output.json +++ b/tests/runner/remote_state_reads/init_nonce_no_balance_ipc_output.json @@ -1,8 +1,8 @@ { "scilla_major_version": "0", - "gas_remaining": "56484", + "gas_remaining": "63965", "_accepted": "false", "messages": null, "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], "events": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_wrong_address_field_type_ipc_output.json b/tests/runner/remote_state_reads/init_wrong_address_field_type_ipc_output.json index 7c025d2a8..a83458e0b 100644 --- a/tests/runner/remote_state_reads/init_wrong_address_field_type_ipc_output.json +++ b/tests/runner/remote_state_reads/init_wrong_address_field_type_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7059", + "gas_remaining": "7994", "errors": [ { "error_message": @@ -9,4 +9,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_wrong_field_type_ipc_output.json b/tests/runner/remote_state_reads/init_wrong_field_type_ipc_output.json index 7c025d2a8..a83458e0b 100644 --- a/tests/runner/remote_state_reads/init_wrong_field_type_ipc_output.json +++ b/tests/runner/remote_state_reads/init_wrong_field_type_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7059", + "gas_remaining": "7994", "errors": [ { "error_message": @@ -9,4 +9,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/init_wrong_map_type_ipc_output.json b/tests/runner/remote_state_reads/init_wrong_map_type_ipc_output.json index 7c025d2a8..a83458e0b 100644 --- a/tests/runner/remote_state_reads/init_wrong_map_type_ipc_output.json +++ b/tests/runner/remote_state_reads/init_wrong_map_type_ipc_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7059", + "gas_remaining": "7994", "errors": [ { "error_message": @@ -9,4 +9,4 @@ } ], "warnings": [] -} +} \ No newline at end of file diff --git a/tests/runner/remote_state_reads/output_1.json b/tests/runner/remote_state_reads/output_1.json index f473226b6..217235247 100644 --- a/tests/runner/remote_state_reads/output_1.json +++ b/tests/runner/remote_state_reads/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_10.json b/tests/runner/remote_state_reads/output_10.json index ceb572691..919be06f5 100644 --- a/tests/runner/remote_state_reads/output_10.json +++ b/tests/runner/remote_state_reads/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_101.json b/tests/runner/remote_state_reads/output_101.json index 3b938d60a..5fa76af38 100644 --- a/tests/runner/remote_state_reads/output_101.json +++ b/tests/runner/remote_state_reads/output_101.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_102.json b/tests/runner/remote_state_reads/output_102.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_102.json +++ b/tests/runner/remote_state_reads/output_102.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_103.json b/tests/runner/remote_state_reads/output_103.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_103.json +++ b/tests/runner/remote_state_reads/output_103.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_104.json b/tests/runner/remote_state_reads/output_104.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_104.json +++ b/tests/runner/remote_state_reads/output_104.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_105.json b/tests/runner/remote_state_reads/output_105.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_105.json +++ b/tests/runner/remote_state_reads/output_105.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_106.json b/tests/runner/remote_state_reads/output_106.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_106.json +++ b/tests/runner/remote_state_reads/output_106.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_107.json b/tests/runner/remote_state_reads/output_107.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_107.json +++ b/tests/runner/remote_state_reads/output_107.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_108.json b/tests/runner/remote_state_reads/output_108.json index 10c18ada1..1d934eeaf 100644 --- a/tests/runner/remote_state_reads/output_108.json +++ b/tests/runner/remote_state_reads/output_108.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7916", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_109.json b/tests/runner/remote_state_reads/output_109.json index 71148c57b..74e19638a 100644 --- a/tests/runner/remote_state_reads/output_109.json +++ b/tests/runner/remote_state_reads/output_109.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7488", + "gas_remaining": "7995", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_11.json b/tests/runner/remote_state_reads/output_11.json index 5a1c6e48e..7f38f0921 100644 --- a/tests/runner/remote_state_reads/output_11.json +++ b/tests/runner/remote_state_reads/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_110.json b/tests/runner/remote_state_reads/output_110.json index 5ccc70951..4bfbee1b9 100644 --- a/tests/runner/remote_state_reads/output_110.json +++ b/tests/runner/remote_state_reads/output_110.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7488", + "gas_remaining": "7996", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_111.json b/tests/runner/remote_state_reads/output_111.json index 5ccc70951..4bfbee1b9 100644 --- a/tests/runner/remote_state_reads/output_111.json +++ b/tests/runner/remote_state_reads/output_111.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7488", + "gas_remaining": "7996", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_112.json b/tests/runner/remote_state_reads/output_112.json index d12420d98..5a5e567b6 100644 --- a/tests/runner/remote_state_reads/output_112.json +++ b/tests/runner/remote_state_reads/output_112.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7428", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_113.json b/tests/runner/remote_state_reads/output_113.json index b37b53499..447580fc9 100644 --- a/tests/runner/remote_state_reads/output_113.json +++ b/tests/runner/remote_state_reads/output_113.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7428", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_114.json b/tests/runner/remote_state_reads/output_114.json index bcfbb5512..db97942a7 100644 --- a/tests/runner/remote_state_reads/output_114.json +++ b/tests/runner/remote_state_reads/output_114.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7428", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_115.json b/tests/runner/remote_state_reads/output_115.json index 31b7843f5..28f5b567a 100644 --- a/tests/runner/remote_state_reads/output_115.json +++ b/tests/runner/remote_state_reads/output_115.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7491", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_116.json b/tests/runner/remote_state_reads/output_116.json index 31b7843f5..28f5b567a 100644 --- a/tests/runner/remote_state_reads/output_116.json +++ b/tests/runner/remote_state_reads/output_116.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7491", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_117.json b/tests/runner/remote_state_reads/output_117.json index e96a68449..2f09b69af 100644 --- a/tests/runner/remote_state_reads/output_117.json +++ b/tests/runner/remote_state_reads/output_117.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7491", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_118.json b/tests/runner/remote_state_reads/output_118.json index 29c6ca76b..a49630054 100644 --- a/tests/runner/remote_state_reads/output_118.json +++ b/tests/runner/remote_state_reads/output_118.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7489", + "gas_remaining": "7996", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_119.json b/tests/runner/remote_state_reads/output_119.json index 7e94555f9..7b4bc3b1d 100644 --- a/tests/runner/remote_state_reads/output_119.json +++ b/tests/runner/remote_state_reads/output_119.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7492", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_120.json b/tests/runner/remote_state_reads/output_120.json index dc2931d8c..71469238c 100644 --- a/tests/runner/remote_state_reads/output_120.json +++ b/tests/runner/remote_state_reads/output_120.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7492", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_121.json b/tests/runner/remote_state_reads/output_121.json index 1fff60d17..1196572fb 100644 --- a/tests/runner/remote_state_reads/output_121.json +++ b/tests/runner/remote_state_reads/output_121.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7490", + "gas_remaining": "7997", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_122.json b/tests/runner/remote_state_reads/output_122.json index c402d2e06..9d0582788 100644 --- a/tests/runner/remote_state_reads/output_122.json +++ b/tests/runner/remote_state_reads/output_122.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7490", + "gas_remaining": "7997", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_123.json b/tests/runner/remote_state_reads/output_123.json index b871ea07d..557ef62cc 100644 --- a/tests/runner/remote_state_reads/output_123.json +++ b/tests/runner/remote_state_reads/output_123.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7490", + "gas_remaining": "7997", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_124.json b/tests/runner/remote_state_reads/output_124.json index ff004078a..842a08aa6 100644 --- a/tests/runner/remote_state_reads/output_124.json +++ b/tests/runner/remote_state_reads/output_124.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7492", + "gas_remaining": "7999", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_125.json b/tests/runner/remote_state_reads/output_125.json index 40978c720..04158dad3 100644 --- a/tests/runner/remote_state_reads/output_125.json +++ b/tests/runner/remote_state_reads/output_125.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7491", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_126.json b/tests/runner/remote_state_reads/output_126.json index a0dc219c3..ccc2beead 100644 --- a/tests/runner/remote_state_reads/output_126.json +++ b/tests/runner/remote_state_reads/output_126.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7965", + "gas_remaining": "7989", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_127.json b/tests/runner/remote_state_reads/output_127.json index 2fbc31fb5..433439fc8 100644 --- a/tests/runner/remote_state_reads/output_127.json +++ b/tests/runner/remote_state_reads/output_127.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7970", + "gas_remaining": "7995", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_128.json b/tests/runner/remote_state_reads/output_128.json index 3507646f0..bf4267ec5 100644 --- a/tests/runner/remote_state_reads/output_128.json +++ b/tests/runner/remote_state_reads/output_128.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7915", + "gas_remaining": "7997", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_129.json b/tests/runner/remote_state_reads/output_129.json index b37bb4313..60080c411 100644 --- a/tests/runner/remote_state_reads/output_129.json +++ b/tests/runner/remote_state_reads/output_129.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7486", + "gas_remaining": "7999", "errors": [ { "error_message": "Address type not allowed in json file", diff --git a/tests/runner/remote_state_reads/output_130.json b/tests/runner/remote_state_reads/output_130.json index c402d2e06..9d0582788 100644 --- a/tests/runner/remote_state_reads/output_130.json +++ b/tests/runner/remote_state_reads/output_130.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7490", + "gas_remaining": "7997", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_131.json b/tests/runner/remote_state_reads/output_131.json index c402d2e06..9d0582788 100644 --- a/tests/runner/remote_state_reads/output_131.json +++ b/tests/runner/remote_state_reads/output_131.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7490", + "gas_remaining": "7997", "errors": [ { "error_message": diff --git a/tests/runner/remote_state_reads/output_2.json b/tests/runner/remote_state_reads/output_2.json index f473226b6..217235247 100644 --- a/tests/runner/remote_state_reads/output_2.json +++ b/tests/runner/remote_state_reads/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_3.json b/tests/runner/remote_state_reads/output_3.json index f473226b6..217235247 100644 --- a/tests/runner/remote_state_reads/output_3.json +++ b/tests/runner/remote_state_reads/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_4.json b/tests/runner/remote_state_reads/output_4.json index f473226b6..217235247 100644 --- a/tests/runner/remote_state_reads/output_4.json +++ b/tests/runner/remote_state_reads/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_5.json b/tests/runner/remote_state_reads/output_5.json index f473226b6..217235247 100644 --- a/tests/runner/remote_state_reads/output_5.json +++ b/tests/runner/remote_state_reads/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_6.json b/tests/runner/remote_state_reads/output_6.json index 87a3e5b66..6c96ea106 100644 --- a/tests/runner/remote_state_reads/output_6.json +++ b/tests/runner/remote_state_reads/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7488", + "gas_remaining": "7995", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_7.json b/tests/runner/remote_state_reads/output_7.json index 7def1325d..ff2a8671b 100644 --- a/tests/runner/remote_state_reads/output_7.json +++ b/tests/runner/remote_state_reads/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7958", "_accepted": "false", "messages": [ { diff --git a/tests/runner/remote_state_reads/output_8.json b/tests/runner/remote_state_reads/output_8.json index c2c89b63f..f210ca276 100644 --- a/tests/runner/remote_state_reads/output_8.json +++ b/tests/runner/remote_state_reads/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7958", + "gas_remaining": "7982", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads/output_9.json b/tests/runner/remote_state_reads/output_9.json index 0d325907f..9a37ddc64 100644 --- a/tests/runner/remote_state_reads/output_9.json +++ b/tests/runner/remote_state_reads/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7962", + "gas_remaining": "7987", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads_2/output_1.json b/tests/runner/remote_state_reads_2/output_1.json index 1cf7f536f..77da84fe8 100644 --- a/tests/runner/remote_state_reads_2/output_1.json +++ b/tests/runner/remote_state_reads_2/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7945", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads_2/output_2.json b/tests/runner/remote_state_reads_2/output_2.json index 8e5569553..bc96a6b7e 100644 --- a/tests/runner/remote_state_reads_2/output_2.json +++ b/tests/runner/remote_state_reads_2/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7944", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads_2/output_3.json b/tests/runner/remote_state_reads_2/output_3.json index cde9f2a59..fec3305a6 100644 --- a/tests/runner/remote_state_reads_2/output_3.json +++ b/tests/runner/remote_state_reads_2/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads_2/output_4.json b/tests/runner/remote_state_reads_2/output_4.json index aa5ac6e3d..b3625bedd 100644 --- a/tests/runner/remote_state_reads_2/output_4.json +++ b/tests/runner/remote_state_reads_2/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7971", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/remote_state_reads_2/output_5.json b/tests/runner/remote_state_reads_2/output_5.json index f19c2fc76..53b7cf6e5 100644 --- a/tests/runner/remote_state_reads_2/output_5.json +++ b/tests/runner/remote_state_reads_2/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/replicate/output_1.json b/tests/runner/replicate/output_1.json index 5fa43cd76..fefae5c4e 100644 --- a/tests/runner/replicate/output_1.json +++ b/tests/runner/replicate/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7988", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/replicate/output_100.json b/tests/runner/replicate/output_100.json index a6d364a64..35c1a5310 100644 --- a/tests/runner/replicate/output_100.json +++ b/tests/runner/replicate/output_100.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7956", + "gas_remaining": "7998", "errors": [ { "error_message": diff --git a/tests/runner/salarybot/output_0.json b/tests/runner/salarybot/output_0.json index 4a815d6b5..eca7f79d4 100644 --- a/tests/runner/salarybot/output_0.json +++ b/tests/runner/salarybot/output_0.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7969", + "gas_remaining": "7993", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/salarybot/output_1.json b/tests/runner/salarybot/output_1.json index 3be117d55..f450ee635 100644 --- a/tests/runner/salarybot/output_1.json +++ b/tests/runner/salarybot/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7923", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/salarybot/output_2.json b/tests/runner/salarybot/output_2.json index a2eb932f4..a0e0be415 100644 --- a/tests/runner/salarybot/output_2.json +++ b/tests/runner/salarybot/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7923", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/salarybot/output_3.json b/tests/runner/salarybot/output_3.json index 74019dfe5..e00ff400e 100644 --- a/tests/runner/salarybot/output_3.json +++ b/tests/runner/salarybot/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7923", + "gas_remaining": "7980", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/salarybot/output_4.json b/tests/runner/salarybot/output_4.json index cf7353ea4..63a859b7f 100644 --- a/tests/runner/salarybot/output_4.json +++ b/tests/runner/salarybot/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7938", + "gas_remaining": "7982", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/salarybot/output_5.json b/tests/runner/salarybot/output_5.json index ee06c6921..b1e909d95 100644 --- a/tests/runner/salarybot/output_5.json +++ b/tests/runner/salarybot/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7924", + "gas_remaining": "7948", "_accepted": "false", "messages": [ { diff --git a/tests/runner/schnorr/output_1.json b/tests/runner/schnorr/output_1.json index 480fc2704..f2c8d9c93 100644 --- a/tests/runner/schnorr/output_1.json +++ b/tests/runner/schnorr/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7864", + "gas_remaining": "7938", "_accepted": "false", "messages": [ { diff --git a/tests/runner/schnorr/output_2.json b/tests/runner/schnorr/output_2.json index 6ffc734c5..faa02c104 100644 --- a/tests/runner/schnorr/output_2.json +++ b/tests/runner/schnorr/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7863", + "gas_remaining": "7937", "_accepted": "false", "messages": [ { diff --git a/tests/runner/schnorr/output_3.json b/tests/runner/schnorr/output_3.json index 480fc2704..f2c8d9c93 100644 --- a/tests/runner/schnorr/output_3.json +++ b/tests/runner/schnorr/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7864", + "gas_remaining": "7938", "_accepted": "false", "messages": [ { diff --git a/tests/runner/shadow_import/output_1.json b/tests/runner/shadow_import/output_1.json index b6f4cd265..b4d87d948 100644 --- a/tests/runner/shadow_import/output_1.json +++ b/tests/runner/shadow_import/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7966", + "gas_remaining": "7988", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi/output_1.json b/tests/runner/shogi/output_1.json index 577c99132..f82bce485 100644 --- a/tests/runner/shogi/output_1.json +++ b/tests/runner/shogi/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7770", + "gas_remaining": "7908", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi/output_2.json b/tests/runner/shogi/output_2.json index 266c6f799..6fb1a4f02 100644 --- a/tests/runner/shogi/output_2.json +++ b/tests/runner/shogi/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7769", + "gas_remaining": "7907", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi/output_3.json b/tests/runner/shogi/output_3.json index 53ccba868..ece6ffbe7 100644 --- a/tests/runner/shogi/output_3.json +++ b/tests/runner/shogi/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7759", + "gas_remaining": "7897", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi/output_4.json b/tests/runner/shogi/output_4.json index 19efe77dd..24be1651b 100644 --- a/tests/runner/shogi/output_4.json +++ b/tests/runner/shogi/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7847", + "gas_remaining": "7970", "_accepted": "false", "messages": [ { diff --git a/tests/runner/shogi/output_5.json b/tests/runner/shogi/output_5.json index 6ea827fca..8e4eb570e 100644 --- a/tests/runner/shogi/output_5.json +++ b/tests/runner/shogi/output_5.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7868", + "gas_remaining": "7990", "errors": [ { "error_message": diff --git a/tests/runner/shogi/output_6.json b/tests/runner/shogi/output_6.json index ed66f77de..75fe03cc4 100644 --- a/tests/runner/shogi/output_6.json +++ b/tests/runner/shogi/output_6.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7868", + "gas_remaining": "7990", "errors": [ { "error_message": diff --git a/tests/runner/shogi/output_7.json b/tests/runner/shogi/output_7.json index ba06a2536..9d4430872 100644 --- a/tests/runner/shogi/output_7.json +++ b/tests/runner/shogi/output_7.json @@ -1,5 +1,5 @@ { - "gas_remaining": "7865", + "gas_remaining": "7990", "errors": [ { "error_message": diff --git a/tests/runner/shogi_proc/output_1.json b/tests/runner/shogi_proc/output_1.json index 52e615fa8..154d00552 100644 --- a/tests/runner/shogi_proc/output_1.json +++ b/tests/runner/shogi_proc/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7769", + "gas_remaining": "7907", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi_proc/output_2.json b/tests/runner/shogi_proc/output_2.json index 266c6f799..6fb1a4f02 100644 --- a/tests/runner/shogi_proc/output_2.json +++ b/tests/runner/shogi_proc/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7769", + "gas_remaining": "7907", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi_proc/output_3.json b/tests/runner/shogi_proc/output_3.json index a5713da99..8169507a9 100644 --- a/tests/runner/shogi_proc/output_3.json +++ b/tests/runner/shogi_proc/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7758", + "gas_remaining": "7896", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/shogi_proc/output_4.json b/tests/runner/shogi_proc/output_4.json index 19efe77dd..24be1651b 100644 --- a/tests/runner/shogi_proc/output_4.json +++ b/tests/runner/shogi_proc/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7847", + "gas_remaining": "7970", "_accepted": "false", "messages": [ { diff --git a/tests/runner/simple-dex/output_1.json b/tests/runner/simple-dex/output_1.json index 5f8be8ce9..643cff3b6 100644 --- a/tests/runner/simple-dex/output_1.json +++ b/tests/runner/simple-dex/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7821", + "gas_remaining": "7924", "_accepted": "false", "messages": [ { diff --git a/tests/runner/simple-dex/output_2.json b/tests/runner/simple-dex/output_2.json index 91c0a477c..db0000c49 100644 --- a/tests/runner/simple-dex/output_2.json +++ b/tests/runner/simple-dex/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7874", + "gas_remaining": "7920", "_accepted": "false", "messages": [ { diff --git a/tests/runner/simple-dex/output_3.json b/tests/runner/simple-dex/output_3.json index 5d50b1bc9..80ec537a0 100644 --- a/tests/runner/simple-dex/output_3.json +++ b/tests/runner/simple-dex/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7935", + "gas_remaining": "7981", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/simple-dex/output_4.json b/tests/runner/simple-dex/output_4.json index 1a330756f..b97727a26 100644 --- a/tests/runner/simple-dex/output_4.json +++ b/tests/runner/simple-dex/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7901", + "gas_remaining": "7943", "_accepted": "false", "messages": [ { diff --git a/tests/runner/simple-dex/output_5.json b/tests/runner/simple-dex/output_5.json index e03bb9bf4..d1d6d304f 100644 --- a/tests/runner/simple-dex/output_5.json +++ b/tests/runner/simple-dex/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7901", + "gas_remaining": "7943", "_accepted": "false", "messages": [ { diff --git a/tests/runner/simple-dex/output_6.json b/tests/runner/simple-dex/output_6.json index 776d01262..8883d2617 100644 --- a/tests/runner/simple-dex/output_6.json +++ b/tests/runner/simple-dex/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7976", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/simple-dex/output_7.json b/tests/runner/simple-dex/output_7.json index 506070e55..1b6e4351c 100644 --- a/tests/runner/simple-dex/output_7.json +++ b/tests/runner/simple-dex/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7911", + "gas_remaining": "7957", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/simple-dex/output_8.json b/tests/runner/simple-dex/output_8.json index 35c48251f..b4a0a396f 100644 --- a/tests/runner/simple-dex/output_8.json +++ b/tests/runner/simple-dex/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7965", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/timestamp/output_1.json b/tests/runner/timestamp/output_1.json index 85c6ee15c..6a07b3bca 100644 --- a/tests/runner/timestamp/output_1.json +++ b/tests/runner/timestamp/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7966", + "gas_remaining": "7990", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/timestamp/output_2.json b/tests/runner/timestamp/output_2.json index 95e40d738..70cf7de3f 100644 --- a/tests/runner/timestamp/output_2.json +++ b/tests/runner/timestamp/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7967", + "gas_remaining": "7991", "_accepted": "false", "messages": [], "states": [ { "vname": "_balance", "type": "Uint128", "value": "0" } ], diff --git a/tests/runner/type_casts/output_1.json b/tests/runner/type_casts/output_1.json index 3875cb9d4..b55a22a43 100644 --- a/tests/runner/type_casts/output_1.json +++ b/tests/runner/type_casts/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_10.json b/tests/runner/type_casts/output_10.json index b2124c292..fa744e7a7 100644 --- a/tests/runner/type_casts/output_10.json +++ b/tests/runner/type_casts/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7952", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_11.json b/tests/runner/type_casts/output_11.json index a8b439af3..ee9a2b653 100644 --- a/tests/runner/type_casts/output_11.json +++ b/tests/runner/type_casts/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7956", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_12.json b/tests/runner/type_casts/output_12.json index a8b439af3..ee9a2b653 100644 --- a/tests/runner/type_casts/output_12.json +++ b/tests/runner/type_casts/output_12.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7956", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_13.json b/tests/runner/type_casts/output_13.json index 15c160564..a82c2f140 100644 --- a/tests/runner/type_casts/output_13.json +++ b/tests/runner/type_casts/output_13.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_14.json b/tests/runner/type_casts/output_14.json index 6ae149dbf..7a335d51f 100644 --- a/tests/runner/type_casts/output_14.json +++ b/tests/runner/type_casts/output_14.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_15.json b/tests/runner/type_casts/output_15.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_15.json +++ b/tests/runner/type_casts/output_15.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_16.json b/tests/runner/type_casts/output_16.json index f04427596..196a515f7 100644 --- a/tests/runner/type_casts/output_16.json +++ b/tests/runner/type_casts/output_16.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_17.json b/tests/runner/type_casts/output_17.json index f04427596..196a515f7 100644 --- a/tests/runner/type_casts/output_17.json +++ b/tests/runner/type_casts/output_17.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7951", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_18.json b/tests/runner/type_casts/output_18.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_18.json +++ b/tests/runner/type_casts/output_18.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_19.json b/tests/runner/type_casts/output_19.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_19.json +++ b/tests/runner/type_casts/output_19.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_2.json b/tests/runner/type_casts/output_2.json index 3875cb9d4..b55a22a43 100644 --- a/tests/runner/type_casts/output_2.json +++ b/tests/runner/type_casts/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_20.json b/tests/runner/type_casts/output_20.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_20.json +++ b/tests/runner/type_casts/output_20.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_21.json b/tests/runner/type_casts/output_21.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_21.json +++ b/tests/runner/type_casts/output_21.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_22.json b/tests/runner/type_casts/output_22.json index 8bb1f30b0..e4ba52c1d 100644 --- a/tests/runner/type_casts/output_22.json +++ b/tests/runner/type_casts/output_22.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_23.json b/tests/runner/type_casts/output_23.json index 8bb1f30b0..e4ba52c1d 100644 --- a/tests/runner/type_casts/output_23.json +++ b/tests/runner/type_casts/output_23.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_24.json b/tests/runner/type_casts/output_24.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_24.json +++ b/tests/runner/type_casts/output_24.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_25.json b/tests/runner/type_casts/output_25.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_25.json +++ b/tests/runner/type_casts/output_25.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_26.json b/tests/runner/type_casts/output_26.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_26.json +++ b/tests/runner/type_casts/output_26.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_27.json b/tests/runner/type_casts/output_27.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_27.json +++ b/tests/runner/type_casts/output_27.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_28.json b/tests/runner/type_casts/output_28.json index f1477a1e0..622553f93 100644 --- a/tests/runner/type_casts/output_28.json +++ b/tests/runner/type_casts/output_28.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_29.json b/tests/runner/type_casts/output_29.json index f1477a1e0..622553f93 100644 --- a/tests/runner/type_casts/output_29.json +++ b/tests/runner/type_casts/output_29.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7989", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_3.json b/tests/runner/type_casts/output_3.json index c2177f165..b5eec2a29 100644 --- a/tests/runner/type_casts/output_3.json +++ b/tests/runner/type_casts/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_30.json b/tests/runner/type_casts/output_30.json index b3cb02660..ee9a2b653 100644 --- a/tests/runner/type_casts/output_30.json +++ b/tests/runner/type_casts/output_30.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_31.json b/tests/runner/type_casts/output_31.json index b3cb02660..b15fe28f2 100644 --- a/tests/runner/type_casts/output_31.json +++ b/tests/runner/type_casts/output_31.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_32.json b/tests/runner/type_casts/output_32.json index b3cb02660..b15fe28f2 100644 --- a/tests/runner/type_casts/output_32.json +++ b/tests/runner/type_casts/output_32.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_33.json b/tests/runner/type_casts/output_33.json index c04102479..2e0731944 100644 --- a/tests/runner/type_casts/output_33.json +++ b/tests/runner/type_casts/output_33.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7988", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_34.json b/tests/runner/type_casts/output_34.json index c04102479..2e0731944 100644 --- a/tests/runner/type_casts/output_34.json +++ b/tests/runner/type_casts/output_34.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7988", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_35.json b/tests/runner/type_casts/output_35.json index b3cb02660..b15fe28f2 100644 --- a/tests/runner/type_casts/output_35.json +++ b/tests/runner/type_casts/output_35.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7955", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_36.json b/tests/runner/type_casts/output_36.json index bc0022ce7..e7f3bae01 100644 --- a/tests/runner/type_casts/output_36.json +++ b/tests/runner/type_casts/output_36.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7954", + "gas_remaining": "7997", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_37.json b/tests/runner/type_casts/output_37.json index e71a38f58..fb17229ec 100644 --- a/tests/runner/type_casts/output_37.json +++ b/tests/runner/type_casts/output_37.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7944", + "gas_remaining": "7986", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_4.json b/tests/runner/type_casts/output_4.json index c2177f165..b5eec2a29 100644 --- a/tests/runner/type_casts/output_4.json +++ b/tests/runner/type_casts/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_5.json b/tests/runner/type_casts/output_5.json index c2177f165..b5eec2a29 100644 --- a/tests/runner/type_casts/output_5.json +++ b/tests/runner/type_casts/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_6.json b/tests/runner/type_casts/output_6.json index 1e3ad08ab..fd7244ce5 100644 --- a/tests/runner/type_casts/output_6.json +++ b/tests/runner/type_casts/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7953", + "gas_remaining": "7996", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_7.json b/tests/runner/type_casts/output_7.json index a8b439af3..ee9a2b653 100644 --- a/tests/runner/type_casts/output_7.json +++ b/tests/runner/type_casts/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7956", + "gas_remaining": "7998", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_8.json b/tests/runner/type_casts/output_8.json index b2124c292..fa744e7a7 100644 --- a/tests/runner/type_casts/output_8.json +++ b/tests/runner/type_casts/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7952", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/type_casts/output_9.json b/tests/runner/type_casts/output_9.json index b2124c292..fa744e7a7 100644 --- a/tests/runner/type_casts/output_9.json +++ b/tests/runner/type_casts/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7952", + "gas_remaining": "7994", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_1.json b/tests/runner/wallet/output_1.json index 7715f6fdd..9e44969de 100644 --- a/tests/runner/wallet/output_1.json +++ b/tests/runner/wallet/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7928", + "gas_remaining": "7952", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_10.json b/tests/runner/wallet/output_10.json index 31f10fd6b..d93d4c383 100644 --- a/tests/runner/wallet/output_10.json +++ b/tests/runner/wallet/output_10.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7910", + "gas_remaining": "7955", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_11.json b/tests/runner/wallet/output_11.json index e26fba183..b13b367bb 100644 --- a/tests/runner/wallet/output_11.json +++ b/tests/runner/wallet/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7908", + "gas_remaining": "7932", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_2.json b/tests/runner/wallet/output_2.json index d793c361a..2e81c6561 100644 --- a/tests/runner/wallet/output_2.json +++ b/tests/runner/wallet/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7895", + "gas_remaining": "7952", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_3.json b/tests/runner/wallet/output_3.json index 4faa5cc02..1efab8993 100644 --- a/tests/runner/wallet/output_3.json +++ b/tests/runner/wallet/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7910", + "gas_remaining": "7949", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_4.json b/tests/runner/wallet/output_4.json index 573bb9661..e14c168e9 100644 --- a/tests/runner/wallet/output_4.json +++ b/tests/runner/wallet/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7904", + "gas_remaining": "7943", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_5.json b/tests/runner/wallet/output_5.json index e9c9e3cfd..685216f5a 100644 --- a/tests/runner/wallet/output_5.json +++ b/tests/runner/wallet/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7879", + "gas_remaining": "7931", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet/output_6.json b/tests/runner/wallet/output_6.json index 839bc71e5..16f4528b2 100644 --- a/tests/runner/wallet/output_6.json +++ b/tests/runner/wallet/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7946", + "gas_remaining": "7969", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_7.json b/tests/runner/wallet/output_7.json index 182d33739..f685b851f 100644 --- a/tests/runner/wallet/output_7.json +++ b/tests/runner/wallet/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7920", + "gas_remaining": "7959", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_8.json b/tests/runner/wallet/output_8.json index 5d31e3cfa..f9713238d 100644 --- a/tests/runner/wallet/output_8.json +++ b/tests/runner/wallet/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7913", + "gas_remaining": "7957", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet/output_9.json b/tests/runner/wallet/output_9.json index d5d4f2ff0..ea6cc18e3 100644 --- a/tests/runner/wallet/output_9.json +++ b/tests/runner/wallet/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7887", + "gas_remaining": "7931", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/init_no_owners_output.json b/tests/runner/wallet_2/init_no_owners_output.json index bdefa4d7f..d02e41cb3 100644 --- a/tests/runner/wallet_2/init_no_owners_output.json +++ b/tests/runner/wallet_2/init_no_owners_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "6112", + "gas_remaining": "7962", "errors": [ { "error_message": "Contract constraint violation", diff --git a/tests/runner/wallet_2/init_not_enough_owners_output.json b/tests/runner/wallet_2/init_not_enough_owners_output.json index f8ee7a995..3e3a4ca7b 100644 --- a/tests/runner/wallet_2/init_not_enough_owners_output.json +++ b/tests/runner/wallet_2/init_not_enough_owners_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "5995", + "gas_remaining": "7958", "errors": [ { "error_message": "Contract constraint violation", diff --git a/tests/runner/wallet_2/init_req_sigs_zero_output.json b/tests/runner/wallet_2/init_req_sigs_zero_output.json index f8ee7a995..3e3a4ca7b 100644 --- a/tests/runner/wallet_2/init_req_sigs_zero_output.json +++ b/tests/runner/wallet_2/init_req_sigs_zero_output.json @@ -1,5 +1,5 @@ { - "gas_remaining": "5995", + "gas_remaining": "7958", "errors": [ { "error_message": "Contract constraint violation", diff --git a/tests/runner/wallet_2/output_1.json b/tests/runner/wallet_2/output_1.json index c5bee52e5..83a46e886 100644 --- a/tests/runner/wallet_2/output_1.json +++ b/tests/runner/wallet_2/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7945", + "gas_remaining": "7969", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_11.json b/tests/runner/wallet_2/output_11.json index b95324507..211e30751 100644 --- a/tests/runner/wallet_2/output_11.json +++ b/tests/runner/wallet_2/output_11.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_12.json b/tests/runner/wallet_2/output_12.json index b95324507..211e30751 100644 --- a/tests/runner/wallet_2/output_12.json +++ b/tests/runner/wallet_2/output_12.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_14.json b/tests/runner/wallet_2/output_14.json index 711919421..c74cad1f5 100644 --- a/tests/runner/wallet_2/output_14.json +++ b/tests/runner/wallet_2/output_14.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_15.json b/tests/runner/wallet_2/output_15.json index 711919421..c74cad1f5 100644 --- a/tests/runner/wallet_2/output_15.json +++ b/tests/runner/wallet_2/output_15.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_16.json b/tests/runner/wallet_2/output_16.json index 711919421..c74cad1f5 100644 --- a/tests/runner/wallet_2/output_16.json +++ b/tests/runner/wallet_2/output_16.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_17.json b/tests/runner/wallet_2/output_17.json index d06e1015b..97008ae67 100644 --- a/tests/runner/wallet_2/output_17.json +++ b/tests/runner/wallet_2/output_17.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7911", + "gas_remaining": "7950", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_18.json b/tests/runner/wallet_2/output_18.json index 05fe6779b..14e088173 100644 --- a/tests/runner/wallet_2/output_18.json +++ b/tests/runner/wallet_2/output_18.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7911", + "gas_remaining": "7950", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_19.json b/tests/runner/wallet_2/output_19.json index 9f1b7b7c5..3dc623c67 100644 --- a/tests/runner/wallet_2/output_19.json +++ b/tests/runner/wallet_2/output_19.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7911", + "gas_remaining": "7950", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_2.json b/tests/runner/wallet_2/output_2.json index 5ef3e28c2..cd1ef85c6 100644 --- a/tests/runner/wallet_2/output_2.json +++ b/tests/runner/wallet_2/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7945", + "gas_remaining": "7969", "_accepted": "true", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_20.json b/tests/runner/wallet_2/output_20.json index 8906dabcb..56d1a7556 100644 --- a/tests/runner/wallet_2/output_20.json +++ b/tests/runner/wallet_2/output_20.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7911", + "gas_remaining": "7950", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_21.json b/tests/runner/wallet_2/output_21.json index 6f2d5a7ac..1eb19e22c 100644 --- a/tests/runner/wallet_2/output_21.json +++ b/tests/runner/wallet_2/output_21.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_22.json b/tests/runner/wallet_2/output_22.json index 711919421..c74cad1f5 100644 --- a/tests/runner/wallet_2/output_22.json +++ b/tests/runner/wallet_2/output_22.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_23.json b/tests/runner/wallet_2/output_23.json index 711919421..c74cad1f5 100644 --- a/tests/runner/wallet_2/output_23.json +++ b/tests/runner/wallet_2/output_23.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_24.json b/tests/runner/wallet_2/output_24.json index e0a34c33d..23f563788 100644 --- a/tests/runner/wallet_2/output_24.json +++ b/tests/runner/wallet_2/output_24.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7908", + "gas_remaining": "7947", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_25.json b/tests/runner/wallet_2/output_25.json index 9eb8598e9..2eaa58476 100644 --- a/tests/runner/wallet_2/output_25.json +++ b/tests/runner/wallet_2/output_25.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7905", + "gas_remaining": "7944", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_26.json b/tests/runner/wallet_2/output_26.json index bb2be6b2d..fd77fc1cd 100644 --- a/tests/runner/wallet_2/output_26.json +++ b/tests/runner/wallet_2/output_26.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7904", + "gas_remaining": "7944", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_27.json b/tests/runner/wallet_2/output_27.json index ebc46eca1..27c37ec74 100644 --- a/tests/runner/wallet_2/output_27.json +++ b/tests/runner/wallet_2/output_27.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7903", + "gas_remaining": "7942", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_28.json b/tests/runner/wallet_2/output_28.json index e40a93d62..8f510465e 100644 --- a/tests/runner/wallet_2/output_28.json +++ b/tests/runner/wallet_2/output_28.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7913", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet_2/output_29.json b/tests/runner/wallet_2/output_29.json index e40a93d62..8f510465e 100644 --- a/tests/runner/wallet_2/output_29.json +++ b/tests/runner/wallet_2/output_29.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7913", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet_2/output_3.json b/tests/runner/wallet_2/output_3.json index c638ff645..415489417 100644 --- a/tests/runner/wallet_2/output_3.json +++ b/tests/runner/wallet_2/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7888", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_30.json b/tests/runner/wallet_2/output_30.json index b3d8ac3a9..c4db073c2 100644 --- a/tests/runner/wallet_2/output_30.json +++ b/tests/runner/wallet_2/output_30.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7913", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet_2/output_31.json b/tests/runner/wallet_2/output_31.json index e40a93d62..8f510465e 100644 --- a/tests/runner/wallet_2/output_31.json +++ b/tests/runner/wallet_2/output_31.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7913", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet_2/output_32.json b/tests/runner/wallet_2/output_32.json index 48cc7f624..fa240a76e 100644 --- a/tests/runner/wallet_2/output_32.json +++ b/tests/runner/wallet_2/output_32.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7913", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet_2/output_33.json b/tests/runner/wallet_2/output_33.json index 4a6e56acd..70ab90422 100644 --- a/tests/runner/wallet_2/output_33.json +++ b/tests/runner/wallet_2/output_33.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_34.json b/tests/runner/wallet_2/output_34.json index a65217a44..9cac211f8 100644 --- a/tests/runner/wallet_2/output_34.json +++ b/tests/runner/wallet_2/output_34.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_35.json b/tests/runner/wallet_2/output_35.json index a65217a44..9cac211f8 100644 --- a/tests/runner/wallet_2/output_35.json +++ b/tests/runner/wallet_2/output_35.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_36.json b/tests/runner/wallet_2/output_36.json index a65217a44..9cac211f8 100644 --- a/tests/runner/wallet_2/output_36.json +++ b/tests/runner/wallet_2/output_36.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_37.json b/tests/runner/wallet_2/output_37.json index a65217a44..9cac211f8 100644 --- a/tests/runner/wallet_2/output_37.json +++ b/tests/runner/wallet_2/output_37.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_38.json b/tests/runner/wallet_2/output_38.json index 7f3322b57..7266a6660 100644 --- a/tests/runner/wallet_2/output_38.json +++ b/tests/runner/wallet_2/output_38.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7918", + "gas_remaining": "7957", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_39.json b/tests/runner/wallet_2/output_39.json index 07cbe854e..69e0cda49 100644 --- a/tests/runner/wallet_2/output_39.json +++ b/tests/runner/wallet_2/output_39.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7918", + "gas_remaining": "7957", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_4.json b/tests/runner/wallet_2/output_4.json index 8d37a57d0..aec48bb5f 100644 --- a/tests/runner/wallet_2/output_4.json +++ b/tests/runner/wallet_2/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7854", + "gas_remaining": "7924", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_40.json b/tests/runner/wallet_2/output_40.json index 84b3f5d40..bb4e90a42 100644 --- a/tests/runner/wallet_2/output_40.json +++ b/tests/runner/wallet_2/output_40.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7918", + "gas_remaining": "7957", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_42.json b/tests/runner/wallet_2/output_42.json index f6978d362..fb26c179f 100644 --- a/tests/runner/wallet_2/output_42.json +++ b/tests/runner/wallet_2/output_42.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7873", + "gas_remaining": "7913", "_accepted": "false", "messages": [ { diff --git a/tests/runner/wallet_2/output_5.json b/tests/runner/wallet_2/output_5.json index ba4ea41d7..bd1de233a 100644 --- a/tests/runner/wallet_2/output_5.json +++ b/tests/runner/wallet_2/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7854", + "gas_remaining": "7924", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_6.json b/tests/runner/wallet_2/output_6.json index 1d6a35441..a1e2f2c11 100644 --- a/tests/runner/wallet_2/output_6.json +++ b/tests/runner/wallet_2/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7888", + "gas_remaining": "7958", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_7.json b/tests/runner/wallet_2/output_7.json index 46d132207..ee50df098 100644 --- a/tests/runner/wallet_2/output_7.json +++ b/tests/runner/wallet_2/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7853", + "gas_remaining": "7924", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/wallet_2/output_8.json b/tests/runner/wallet_2/output_8.json index 8735b0d2e..22295ba8a 100644 --- a/tests/runner/wallet_2/output_8.json +++ b/tests/runner/wallet_2/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7886", + "gas_remaining": "7956", "_accepted": "false", "messages": [], "states": [ diff --git a/tests/runner/zil-game/init_output.json b/tests/runner/zil-game/init_output.json index 99d054113..e53bc7963 100644 --- a/tests/runner/zil-game/init_output.json +++ b/tests/runner/zil-game/init_output.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "56353", + "gas_remaining": "63966", "_accepted": "false", "messages": null, "states": [ diff --git a/tests/runner/zil-game/output_1.json b/tests/runner/zil-game/output_1.json index 9721dfb03..93768f529 100644 --- a/tests/runner/zil-game/output_1.json +++ b/tests/runner/zil-game/output_1.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7907", + "gas_remaining": "7952", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_2.json b/tests/runner/zil-game/output_2.json index 8c965c931..de3108253 100644 --- a/tests/runner/zil-game/output_2.json +++ b/tests/runner/zil-game/output_2.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7926", + "gas_remaining": "7964", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_3.json b/tests/runner/zil-game/output_3.json index 777bf8492..59410948c 100644 --- a/tests/runner/zil-game/output_3.json +++ b/tests/runner/zil-game/output_3.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7919", + "gas_remaining": "7964", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_4.json b/tests/runner/zil-game/output_4.json index 1e2a937e0..b0b4e4a6b 100644 --- a/tests/runner/zil-game/output_4.json +++ b/tests/runner/zil-game/output_4.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7910", + "gas_remaining": "7948", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_5.json b/tests/runner/zil-game/output_5.json index f1567499b..6189c5859 100644 --- a/tests/runner/zil-game/output_5.json +++ b/tests/runner/zil-game/output_5.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7914", + "gas_remaining": "7952", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_6.json b/tests/runner/zil-game/output_6.json index fc9d82ed0..36b0eee72 100644 --- a/tests/runner/zil-game/output_6.json +++ b/tests/runner/zil-game/output_6.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7906", + "gas_remaining": "7944", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_7.json b/tests/runner/zil-game/output_7.json index 9093f0af0..09e596c7d 100644 --- a/tests/runner/zil-game/output_7.json +++ b/tests/runner/zil-game/output_7.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7934", + "gas_remaining": "7957", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_8.json b/tests/runner/zil-game/output_8.json index b33a570a0..dd478bfd8 100644 --- a/tests/runner/zil-game/output_8.json +++ b/tests/runner/zil-game/output_8.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7963", "_accepted": "false", "messages": [ { diff --git a/tests/runner/zil-game/output_9.json b/tests/runner/zil-game/output_9.json index 8a5c4a5af..1cf0941b6 100644 --- a/tests/runner/zil-game/output_9.json +++ b/tests/runner/zil-game/output_9.json @@ -1,6 +1,6 @@ { "scilla_major_version": "0", - "gas_remaining": "7939", + "gas_remaining": "7963", "_accepted": "false", "messages": [ {