Skip to content

Commit

Permalink
Add more error tests
Browse files Browse the repository at this point in the history
  • Loading branch information
sisuresh committed Nov 29, 2023
1 parent c29b5a1 commit f4f63d9
Show file tree
Hide file tree
Showing 8 changed files with 544 additions and 398 deletions.
Original file line number Diff line number Diff line change
@@ -1,26 +1,26 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call bytes_new_from_slice(1485)": "cpu:14535",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:15866, mem:1565, objs:-/1@3bec2159",
" 1 call bytes_new_from_slice(1703)": "cpu:14535",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:15920, mem:1783, objs:-/1@2035a941",
" 3 call upload_wasm(Bytes(obj#1))": "",
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:1225824, mem:1306827, objs:-/2@8618cfae, store:-/1@b7fb6477, foot:1@e9ba107b",
" 5 call bytes_new_from_slice(32)": "cpu:1226264, mem:1306891, objs:-/3@a1cad0ba",
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1227233, mem:1307003, objs:-/4@990b5cc5",
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:1315205, mem:1315887, objs:-/2@5a4b5480, store:-/1@c4dffc02, foot:1@9e8b1cd2",
" 5 call bytes_new_from_slice(32)": "cpu:1315645, mem:1315951, objs:-/3@6a2f9b58",
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1316614, mem:1316063, objs:-/4@2e5fec4d",
" 7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1228876, mem:1307181, objs:-/5@d1ec0cfb, auth:1@1e0f546f/-",
" 9 ret obj_cmp -> Ok(0)": "cpu:1229168",
" 10 call get_ledger_network_id()": "cpu:1229218, auth:1@1e0f546f/1@db6f2517",
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1230248, mem:1307293, objs:-/6@2f55d65b",
" 12 ret create_contract -> Ok(Address(obj#13))": "cpu:1248381, mem:1310367, objs:-/7@baba9c65, store:-/2@7f1d0274, foot:2@bd5990fe, auth:-/1@51b83b9e",
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1318257, mem:1316241, objs:-/5@3c3ccc5, auth:1@f6dab03c/-",
" 9 ret obj_cmp -> Ok(0)": "cpu:1318549",
" 10 call get_ledger_network_id()": "cpu:1318599, auth:1@f6dab03c/1@3f6e3bed",
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1319629, mem:1316353, objs:-/6@c5c54e92",
" 12 ret create_contract -> Ok(Address(obj#13))": "cpu:1337762, mem:1319427, objs:-/7@dc4d1c54, store:-/2@d2675d18, foot:2@ea5d5217, auth:-/1@a476a163",
" 13 call vec_new_from_slice(0)": " auth:-/-",
" 14 ret vec_new_from_slice -> Ok(Vec(obj#15))": "cpu:1249342, mem:1310447, objs:-/8@f1b1355d",
" 14 ret vec_new_from_slice -> Ok(Vec(obj#15))": "cpu:1338723, mem:1319507, objs:-/8@c94d2182",
" 15 call call(Address(obj#13), Symbol(spoof), Vec(obj#15))": "",
" 16 push VM:181caa74:spoof()": "cpu:2380350, mem:2616187, objs:-/9@721fc9a0, vm:1114112@a679d6fe/13@1d71d880, stk:1@73785d9e, auth:1@b714f5c3/-",
" 17 pop VM:181caa74:spoof -> Err(Error(Context, InvalidAction))": "cpu:2382831, mem:2616217",
" 16 push VM:9177d510:spoof()": "cpu:2547116, mem:2634089, objs:-/9@ad832b2e, vm:1114112@ba4a7cb7/15@ea6028ca, stk:1@a2526bb, auth:1@b714f5c3/-",
" 17 pop VM:9177d510:spoof -> Err(Error(Context, InvalidAction))": "cpu:2549597, mem:2634119",
" 18 ret call -> Err(Error(Context, InvalidAction))": " vm:-/-, stk:-, auth:-/-",
" 19 call try_call(Address(obj#13), Symbol(spoof), Vec(obj#15))": "",
" 20 push VM:181caa74:spoof()": "cpu:3513839, mem:3921957, objs:-/10@d8bcc785, vm:1114112@a679d6fe/13@1d71d880, stk:1@73785d9e, auth:1@bb297f4a/-",
" 21 pop VM:181caa74:spoof -> Err(Error(Context, InvalidAction))": "cpu:3516320, mem:3921987",
" 20 push VM:9177d510:spoof()": "cpu:3757990, mem:3948701, objs:-/10@17218fdb, vm:1114112@ba4a7cb7/15@ea6028ca, stk:1@a2526bb, auth:1@bb297f4a/-",
" 21 pop VM:9177d510:spoof -> Err(Error(Context, InvalidAction))": "cpu:3760471, mem:3948731",
" 22 ret try_call -> Ok(Error(Context, InvalidAction))": " vm:-/-, stk:-, auth:-/-",
" 23 end": "cpu:3516320, mem:3921987, prngs:-/9b4a753, objs:-/10@d8bcc785, vm:-/-, evt:-, store:-/2@7f1d0274, foot:2@bd5990fe, stk:-, auth:-/-"
" 23 end": "cpu:3760471, mem:3948731, prngs:-/9b4a753, objs:-/10@17218fdb, vm:-/-, evt:-, store:-/2@d2675d18, foot:2@ea5d5217, stk:-, auth:-/-"
}
26 changes: 26 additions & 0 deletions soroban-env-host/observations/test__invocation__guest_error.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call bytes_new_from_slice(1703)": "cpu:14535",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:15920, mem:1783, objs:-/1@2035a941",
" 3 call upload_wasm(Bytes(obj#1))": "",
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:1315205, mem:1315887, objs:-/2@5a4b5480, store:-/1@c4dffc02, foot:1@9e8b1cd2",
" 5 call bytes_new_from_slice(32)": "cpu:1315645, mem:1315951, objs:-/3@6a2f9b58",
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1316614, mem:1316063, objs:-/4@2e5fec4d",
" 7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1318257, mem:1316241, objs:-/5@3c3ccc5, auth:1@f6dab03c/-",
" 9 ret obj_cmp -> Ok(0)": "cpu:1318549",
" 10 call get_ledger_network_id()": "cpu:1318599, auth:1@f6dab03c/1@3f6e3bed",
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1319629, mem:1316353, objs:-/6@c5c54e92",
" 12 ret create_contract -> Ok(Address(obj#13))": "cpu:1337762, mem:1319427, objs:-/7@dc4d1c54, store:-/2@d2675d18, foot:2@ea5d5217, auth:-/1@a476a163",
" 13 call vec_new_from_slice(1)": " auth:-/-",
" 14 ret vec_new_from_slice -> Ok(Vec(obj#15))": "cpu:1338725, mem:1319515, objs:-/8@30ff5bc1",
" 15 call call(Address(obj#13), Symbol(divide), Vec(obj#15))": "",
" 16 push VM:9177d510:divide(I32(0))": "cpu:2547122, mem:2634113, objs:-/9@97b4413b, vm:1114112@ba4a7cb7/15@ea6028ca, stk:1@f9fedf0a, auth:1@2731dcec/-",
" 17 pop VM:9177d510:divide -> Err(Error(WasmVm, InvalidAction))": "cpu:2549631, mem:2634159",
" 18 ret call -> Err(Error(WasmVm, InvalidAction))": " vm:-/-, stk:-, auth:-/-",
" 19 call try_call(Address(obj#13), Symbol(divide), Vec(obj#15))": "",
" 20 push VM:9177d510:divide(I32(0))": "cpu:3758028, mem:3948757, objs:-/10@2af6532b, vm:1114112@ba4a7cb7/15@ea6028ca, stk:1@f9fedf0a, auth:1@b746104b/-",
" 21 pop VM:9177d510:divide -> Err(Error(WasmVm, InvalidAction))": "cpu:3760537, mem:3948803",
" 22 ret try_call -> Ok(Error(Context, InvalidAction))": " vm:-/-, stk:-, auth:-/-",
" 23 end": "cpu:3760537, mem:3948803, prngs:-/9b4a753, objs:-/10@2af6532b, vm:-/-, evt:-, store:-/2@d2675d18, foot:2@ea5d5217, stk:-, auth:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,56 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call bytes_new_from_slice(1703)": "cpu:14535",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:15920, mem:1783, objs:-/1@2035a941",
" 3 call upload_wasm(Bytes(obj#1))": "",
" 4 ret upload_wasm -> Ok(Bytes(obj#3))": "cpu:1315205, mem:1315887, objs:-/2@5a4b5480, store:-/1@c4dffc02, foot:1@9e8b1cd2",
" 5 call bytes_new_from_slice(32)": "cpu:1315645, mem:1315951, objs:-/3@6a2f9b58",
" 6 ret bytes_new_from_slice -> Ok(Bytes(obj#7))": "cpu:1316614, mem:1316063, objs:-/4@2e5fec4d",
" 7 call create_contract(Address(obj#5), Bytes(obj#3), Bytes(obj#7))": "",
" 8 call obj_cmp(Address(obj#9), Address(obj#5))": "cpu:1318257, mem:1316241, objs:-/5@3c3ccc5, auth:1@f6dab03c/-",
" 9 ret obj_cmp -> Ok(0)": "cpu:1318549",
" 10 call get_ledger_network_id()": "cpu:1318599, auth:1@f6dab03c/1@3f6e3bed",
" 11 ret get_ledger_network_id -> Ok(Bytes(obj#11))": "cpu:1319629, mem:1316353, objs:-/6@c5c54e92",
" 12 ret create_contract -> Ok(Address(obj#13))": "cpu:1337762, mem:1319427, objs:-/7@dc4d1c54, store:-/2@d2675d18, foot:2@ea5d5217, auth:-/1@a476a163",
" 13 call symbol_new_from_slice(12)": " auth:-/-",
" 14 ret symbol_new_from_slice -> Ok(Symbol(obj#15))": "cpu:1338770, mem:1319519, objs:-/8@ad859679",
" 15 call vec_new_from_slice(0)": "",
" 16 ret vec_new_from_slice -> Ok(Vec(obj#17))": "cpu:1339731, mem:1319599, objs:-/9@87c7baf8",
" 17 call call(Address(obj#13), Symbol(obj#15), Vec(obj#17))": "",
" 18 call symbol_len(Symbol(obj#15))": "cpu:1340603, mem:1319615",
" 19 ret symbol_len -> Ok(U32(12))": "cpu:1340725",
" 20 call symbol_copy_to_slice(Symbol(obj#15), U32(0), 12)": "",
" 21 ret symbol_copy_to_slice -> Ok(())": "cpu:1340829",
" 22 push VM:9177d510:sym#15()": "cpu:2548411, mem:2634181, objs:-/10@5b01a60c, vm:1114112@ba4a7cb7/15@ea6028ca, stk:1@5a39d9d8, auth:1@b86cb58d/-",
" 23 call symbol_len(Symbol(obj#15))": "cpu:2550880, mem:2634211",
" 24 ret symbol_len -> Ok(U32(12))": "cpu:2551002",
" 25 call symbol_copy_to_slice(Symbol(obj#15), U32(0), 12)": "",
" 26 ret symbol_copy_to_slice -> Ok(())": "cpu:2551106",
" 27 call bytes_new_from_linear_memory(U32(1048576), U32(5))": " vm:-/-",
" 28 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#21))": "cpu:2553160, mem:2634296, objs:-/11@d11b7d1f",
" 29 call compute_hash_sha256(Bytes(obj#21))": "cpu:2553656, mem:2634320, objs:1@b6bed26a/11@d11b7d1f, stk:1@c3ecd80a",
" 30 ret compute_hash_sha256 -> Ok(Bytes(obj#23))": "cpu:2559068, mem:2634432, objs:1@b6bed26a/12@306a5977",
" 31 call update_current_contract_wasm(Bytes(obj#23))": "cpu:2559564, mem:2634456, objs:2@6c2d529/12@306a5977, stk:1@7e0a4666",
" 32 ret update_current_contract_wasm -> Err(Error(Storage, MissingValue))": "cpu:2562597, mem:2634903, store:-/3@28fa9240, foot:3@dffac38b",
" 33 pop VM:9177d510:sym#15 -> Err(Error(Storage, MissingValue))": " vm:1114112@ba4a7cb7/15@ea6028ca",
" 34 ret call -> Err(Error(Storage, MissingValue))": " objs:-/12@306a5977, vm:-/-, store:-/2@d2675d18, stk:-, auth:-/-",
" 35 call try_call(Address(obj#13), Symbol(obj#15), Vec(obj#17))": "",
" 36 call symbol_len(Symbol(obj#15))": "cpu:2563469, mem:2634919",
" 37 ret symbol_len -> Ok(U32(12))": "cpu:2563591",
" 38 call symbol_copy_to_slice(Symbol(obj#15), U32(0), 12)": "",
" 39 ret symbol_copy_to_slice -> Ok(())": "cpu:2563695",
" 40 push VM:9177d510:sym#15()": "cpu:3771277, mem:3949485, objs:-/13@7d6435a1, vm:1114112@ba4a7cb7/15@ea6028ca, stk:1@5a39d9d8, auth:1@ab2e820c/-",
" 41 call symbol_len(Symbol(obj#15))": "cpu:3773746, mem:3949515",
" 42 ret symbol_len -> Ok(U32(12))": "cpu:3773868",
" 43 call symbol_copy_to_slice(Symbol(obj#15), U32(0), 12)": "",
" 44 ret symbol_copy_to_slice -> Ok(())": "cpu:3773972",
" 45 call bytes_new_from_linear_memory(U32(1048576), U32(5))": " vm:-/-",
" 46 ret bytes_new_from_linear_memory -> Ok(Bytes(obj#27))": "cpu:3776026, mem:3949600, objs:-/14@ae351048",
" 47 call compute_hash_sha256(Bytes(obj#27))": "cpu:3776522, mem:3949624, objs:1@8099ea12/14@ae351048, stk:1@90bd4609",
" 48 ret compute_hash_sha256 -> Ok(Bytes(obj#29))": "cpu:3781934, mem:3949736, objs:1@8099ea12/15@66f81bf2",
" 49 call update_current_contract_wasm(Bytes(obj#29))": "cpu:3782430, mem:3949760, objs:2@5fd5624b/15@66f81bf2, stk:1@e7ed984f",
" 50 ret update_current_contract_wasm -> Err(Error(Storage, MissingValue))": "cpu:3784774, mem:3950116, store:-/3@28fa9240",
" 51 pop VM:9177d510:sym#15 -> Err(Error(Storage, MissingValue))": " vm:1114112@ba4a7cb7/15@ea6028ca",
" 52 ret try_call -> Ok(Error(Context, InvalidAction))": " objs:-/15@66f81bf2, vm:-/-, store:-/2@d2675d18, stk:-, auth:-/-",
" 53 end": "cpu:3784774, mem:3950116, prngs:-/9b4a753, objs:-/15@66f81bf2, vm:-/-, evt:-, store:-/2@d2675d18, foot:3@dffac38b, stk:-, auth:-/-"
}
Loading

0 comments on commit f4f63d9

Please sign in to comment.