Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Call constructors for the test contracts. #1455

Merged
merged 5 commits into from
Sep 6, 2024
Merged

Call constructors for the test contracts. #1455

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
4f586fc
Call constructors for the test contracts.
dmkozh Sep 5, 2024
b9343f5
!fixup fmt/warnings fixes
dmkozh Sep 6, 2024
c54c758
!fixup build fix
dmkozh Sep 6, 2024
8c2c5ec
!fixup fmt
dmkozh Sep 6, 2024
8130b77
Merge branch 'main' into ctor_test_support
dmkozh Sep 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
46 changes: 29 additions & 17 deletions soroban-env-host/observations/22/test__event__contract_event.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,20 +1,32 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call call(Address(obj#1), Symbol(add), Vec(obj#3))": "cpu:30003, mem:1822, objs:-/3@3e2c291c, store:-/2@7bc024e1, foot:2@d6be0e71",
" 2 push TEST: 0:add(I32(1), I32(2))": "cpu:40546, mem:2982, objs:-/4@d7708f9, stk:1@415daa75, auth:1@ab264b90/-",
" 3 call map_new()": "",
" 4 ret map_new -> Ok(Map(obj#9))": "cpu:41047, mem:3046, objs:-/5@8517b74b",
" 5 call map_put(Map(obj#9), U32(1), U32(2))": "",
" 6 ret map_put -> Ok(Map(obj#11))": "cpu:42332, mem:3150, objs:-/6@90b102c",
" 7 call vec_new()": "",
" 8 ret vec_new -> Ok(Vec(obj#13))": "cpu:42833, mem:3214, objs:-/7@edf14fbd",
" 9 call vec_push_back(Vec(obj#13), U32(0))": "",
" 10 ret vec_push_back -> Ok(Vec(obj#15))": "cpu:43979, mem:3302, objs:-/8@7f61d806",
" 11 call vec_push_back(Vec(obj#15), U32(1))": "",
" 12 ret vec_push_back -> Ok(Vec(obj#17))": "cpu:45127, mem:3398, objs:-/9@6abec47e",
" 13 call contract_event(Vec(obj#17), Map(obj#11))": "",
" 14 ret contract_event -> Ok(Void)": "cpu:46797, mem:3575, objs:-/10@14da6192, evt:1@5435ad6c",
" 15 pop TEST: 0:add -> Ok(Void)": "",
" 16 ret call -> Ok(Void)": " stk:-, auth:-/-",
" 17 end": "cpu:48742, mem:4047, prngs:-/9b4a753, objs:-/10@14da6192, vm:-/-, evt:1@5435ad6c, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:15893, mem:160, objs:-/2@b603ec24",
" 2 ret vec_new -> Ok(Vec(obj#5))": "cpu:16394, mem:224, objs:-/3@652ea764",
" 3 call symbol_new_from_slice(13)": "cpu:36454, mem:2086, objs:-/4@4d6e2005, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#9))": "cpu:37462, mem:2179, objs:-/5@5cc13484",
" 5 push TEST: 0:sym#9()": "cpu:47190, mem:3307, objs:-/6@139782bb, stk:1@4a9415ec, auth:1@29019d4b/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#13))": "cpu:48198, mem:3400, objs:-/7@ffb86c7b",
" 8 call obj_cmp(Symbol(obj#13), Symbol(obj#9))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:48487",
" 10 pop TEST: 0:sym#9 -> Ok(Void)": "",
" 11 call call(Address(obj#1), Symbol(add), Vec(obj#3))": " stk:-, auth:-/-",
" 12 push TEST: 0:add(I32(1), I32(2))": "cpu:59030, mem:4560, objs:-/8@e402f2fb, stk:1@415daa75, auth:1@b173f450/-",
" 13 call symbol_new_from_slice(13)": "",
" 14 ret symbol_new_from_slice -> Ok(Symbol(obj#17))": "cpu:60038, mem:4653, objs:-/9@8ec14cc4",
" 15 call map_new()": "",
" 16 ret map_new -> Ok(Map(obj#19))": "cpu:60539, mem:4717, objs:-/10@5aba4fe8",
" 17 call map_put(Map(obj#19), U32(1), U32(2))": "",
" 18 ret map_put -> Ok(Map(obj#21))": "cpu:61824, mem:4821, objs:-/11@fb01d38",
" 19 call vec_new()": "",
" 20 ret vec_new -> Ok(Vec(obj#23))": "cpu:62325, mem:4885, objs:-/12@b77aa925",
" 21 call vec_push_back(Vec(obj#23), U32(0))": "",
" 22 ret vec_push_back -> Ok(Vec(obj#25))": "cpu:63471, mem:4973, objs:-/13@3ef5f1e9",
" 23 call vec_push_back(Vec(obj#25), U32(1))": "",
" 24 ret vec_push_back -> Ok(Vec(obj#27))": "cpu:64619, mem:5069, objs:-/14@a7dec21",
" 25 call contract_event(Vec(obj#27), Map(obj#21))": "",
" 26 ret contract_event -> Ok(Void)": "cpu:66289, mem:5246, objs:-/15@1b806b41, evt:1@420537d",
" 27 pop TEST: 0:add -> Ok(Void)": "",
" 28 ret call -> Ok(Void)": " stk:-, auth:-/-",
" 29 end": "cpu:68234, mem:5718, prngs:-/9b4a753, objs:-/15@1b806b41, vm:-/-, evt:1@420537d, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
22 changes: 17 additions & 5 deletions soroban-env-host/observations/22/test__event__test_event_rollback.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,20 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call call(Address(obj#1), Symbol(add), Vec(obj#3))": "cpu:30003, mem:1822, objs:-/3@3e2c291c, store:-/2@7bc024e1, foot:2@d6be0e71",
" 2 push TEST: 0:add(I32(1), I32(2))": "cpu:40546, mem:2982, objs:-/4@d7708f9, stk:1@415daa75, auth:1@ab264b90/-",
" 3 pop TEST: 0:add -> Ok(Void)": "cpu:44607, mem:3432, objs:-/7@70af5289, evt:2@f1afdada",
" 4 ret call -> Ok(Void)": " stk:-, auth:-/-",
" 5 end": "cpu:47179, mem:4088, prngs:-/9b4a753, objs:-/7@70af5289, vm:-/-, evt:2@26df635e, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:15893, mem:160, objs:-/2@b603ec24",
" 2 ret vec_new -> Ok(Vec(obj#5))": "cpu:16394, mem:224, objs:-/3@652ea764",
" 3 call symbol_new_from_slice(13)": "cpu:36454, mem:2086, objs:-/4@4d6e2005, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#9))": "cpu:37462, mem:2179, objs:-/5@5cc13484",
" 5 push TEST: 0:sym#9()": "cpu:47190, mem:3307, objs:-/6@139782bb, stk:1@4a9415ec, auth:1@29019d4b/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#13))": "cpu:48198, mem:3400, objs:-/7@ffb86c7b",
" 8 call obj_cmp(Symbol(obj#13), Symbol(obj#9))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:48487",
" 10 pop TEST: 0:sym#9 -> Ok(Void)": "",
" 11 call call(Address(obj#1), Symbol(add), Vec(obj#3))": " stk:-, auth:-/-",
" 12 push TEST: 0:add(I32(1), I32(2))": "cpu:59030, mem:4560, objs:-/8@e402f2fb, stk:1@415daa75, auth:1@b173f450/-",
" 13 call symbol_new_from_slice(13)": "",
" 14 ret symbol_new_from_slice -> Ok(Symbol(obj#17))": "cpu:60038, mem:4653, objs:-/9@8ec14cc4",
" 15 pop TEST: 0:add -> Ok(Void)": "cpu:64099, mem:5103, objs:-/12@f614b4ca, evt:2@35ce66f3",
" 16 ret call -> Ok(Void)": " stk:-, auth:-/-",
" 17 end": "cpu:66671, mem:5759, prngs:-/9b4a753, objs:-/12@f614b4ca, vm:-/-, evt:2@7bd2a45d, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
16 changes: 13 additions & 3 deletions soroban-env-host/observations/22/test__frame__has_frame.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 push TEST: 0:()": "cpu:33398, mem:2670, objs:-/3@f25d6726, store:-/2@7bc024e1, foot:2@d6be0e71, stk:1@bee58c5, auth:1@b0976283/-",
" 2 pop TEST: 0: -> Ok(Void)": "",
" 3 end": "cpu:33398, mem:2670, prngs:-/9b4a753, objs:-/3@f25d6726, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:14928, mem:64, objs:-/1@6e27cef",
" 2 ret vec_new -> Ok(Vec(obj#3))": "cpu:15429, mem:128, objs:-/2@19dff6ca",
" 3 call symbol_new_from_slice(13)": "cpu:35489, mem:1990, objs:-/3@52e71cc, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#7))": "cpu:36497, mem:2083, objs:-/4@d72f5dc1",
" 5 push TEST: 0:sym#7()": "cpu:46225, mem:3211, objs:-/5@af7c85bb, stk:1@8e5c3d6a, auth:1@8b9c58a5/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#11))": "cpu:47233, mem:3304, objs:-/6@6c5fdc1a",
" 8 call obj_cmp(Symbol(obj#11), Symbol(obj#7))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:47522",
" 10 pop TEST: 0:sym#7 -> Ok(Void)": "",
" 11 push TEST: 0:()": "cpu:51882, mem:4248, objs:-/7@e5e0c6fc, stk:1@bee58c5, auth:1@2014a68d/-",
" 12 pop TEST: 0: -> Ok(Void)": "",
" 13 end": "cpu:51882, mem:4248, prngs:-/9b4a753, objs:-/7@e5e0c6fc, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
36 changes: 25 additions & 11 deletions soroban-env-host/observations/22/test__invocation__native_invoke_return_err_variants.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,28 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call vec_new()": "cpu:29038, mem:1726, objs:-/2@7826ffba, store:-/2@7bc024e1, foot:2@d6be0e71",
" 2 ret vec_new -> Ok(Vec(obj#5))": "cpu:29539, mem:1790, objs:-/3@16d3c9b2",
" 3 call call(Address(obj#1), Symbol(go), Vec(obj#5))": "",
" 4 push TEST: 0:go()": "cpu:40078, mem:2934, objs:-/4@b0f4e375, stk:1@8678771d, auth:1@b70a2457/-",
" 5 pop TEST: 0:go -> Err(Error(Contract, #12345))": "",
" 6 ret call -> Err(Error(Contract, #12345))": " stk:-, auth:-/-",
" 7 call try_call(Address(obj#1), Symbol(go), Vec(obj#5))": "",
" 8 push TEST: 0:go()": "cpu:50617, mem:4078, objs:-/5@f35de5c, stk:1@8678771d, auth:1@8087980b/-",
" 9 pop TEST: 0:go -> Err(Error(Contract, #12345))": "",
" 10 ret try_call -> Ok(Error(Contract, #12345))": " stk:-, auth:-/-",
" 11 end": "cpu:50617, mem:4078, prngs:-/9b4a753, objs:-/5@f35de5c, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:14928, mem:64, objs:-/1@6e27cef",
" 2 ret vec_new -> Ok(Vec(obj#3))": "cpu:15429, mem:128, objs:-/2@19dff6ca",
" 3 call symbol_new_from_slice(13)": "cpu:35489, mem:1990, objs:-/3@52e71cc, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#7))": "cpu:36497, mem:2083, objs:-/4@d72f5dc1",
" 5 push TEST: 0:sym#7()": "cpu:46225, mem:3211, objs:-/5@af7c85bb, stk:1@8e5c3d6a, auth:1@8b9c58a5/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#11))": "cpu:47233, mem:3304, objs:-/6@6c5fdc1a",
" 8 call obj_cmp(Symbol(obj#11), Symbol(obj#7))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:47522",
" 10 pop TEST: 0:sym#7 -> Ok(Void)": "",
" 11 call vec_new()": " stk:-, auth:-/-",
" 12 ret vec_new -> Ok(Vec(obj#13))": "cpu:48023, mem:3368, objs:-/7@ce6c9b3c",
" 13 call call(Address(obj#1), Symbol(go), Vec(obj#13))": "",
" 14 push TEST: 0:go()": "cpu:58562, mem:4512, objs:-/8@a563ce40, stk:1@8678771d, auth:1@2db36bd8/-",
" 15 call symbol_new_from_slice(13)": "",
" 16 ret symbol_new_from_slice -> Ok(Symbol(obj#17))": "cpu:59570, mem:4605, objs:-/9@9db5d975",
" 17 pop TEST: 0:go -> Err(Error(Contract, #12345))": "",
" 18 ret call -> Err(Error(Contract, #12345))": " stk:-, auth:-/-",
" 19 call try_call(Address(obj#1), Symbol(go), Vec(obj#13))": "",
" 20 push TEST: 0:go()": "cpu:70109, mem:5749, objs:-/10@89d0f4c1, stk:1@8678771d, auth:1@dddf359c/-",
" 21 call symbol_new_from_slice(13)": "",
" 22 ret symbol_new_from_slice -> Ok(Symbol(obj#21))": "cpu:71117, mem:5842, objs:-/11@a75e1bab",
" 23 pop TEST: 0:go -> Err(Error(Contract, #12345))": "",
" 24 ret try_call -> Ok(Error(Contract, #12345))": " stk:-, auth:-/-",
" 25 end": "cpu:71117, mem:5842, prngs:-/9b4a753, objs:-/11@a75e1bab, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
34 changes: 23 additions & 11 deletions soroban-env-host/observations/22/test__prng__base_prng_seed_0.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,26 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call call(Address(obj#1), Symbol(u64_range), Vec(obj#5))": "cpu:44491, mem:1822, prngs:-/ed310798, objs:-/3@8108cdff, store:-/2@7bc024e1, foot:2@d6be0e71",
" 2 push TEST: 0:u64_range(U64(0), U64(90))": "cpu:55034, mem:2982, objs:-/4@9b4e2a05, stk:1@dbe31a12, auth:1@99d29b33/-",
" 3 call prng_u64_in_inclusive_range(0, 90)": "",
" 4 ret prng_u64_in_inclusive_range -> Ok(33)": "cpu:57383, prngs:a66058e0/bea2af26, stk:1@c09f3d4b",
" 5 call obj_from_u64(33)": "",
" 6 ret obj_from_u64 -> Ok(U64(obj#9))": "cpu:57884, mem:3046, objs:-/5@2fccfe72",
" 7 pop TEST: 0:u64_range -> Ok(U64(obj#9))": "",
" 8 ret call -> Ok(U64(obj#9))": "cpu:57945, prngs:-/bea2af26, stk:-, auth:-/-",
" 9 call obj_to_u64(U64(obj#9))": "",
" 10 ret obj_to_u64 -> Ok(33)": "cpu:58110",
" 11 end": "cpu:58110, mem:3046, prngs:-/bea2af26, objs:-/5@2fccfe72, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:29416, mem:64, prngs:-/ed310798, objs:-/1@6e27cef",
" 2 ret vec_new -> Ok(Vec(obj#3))": "cpu:29917, mem:128, objs:-/2@19dff6ca",
" 3 call symbol_new_from_slice(13)": "cpu:49977, mem:1990, objs:-/3@52e71cc, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#7))": "cpu:50985, mem:2083, objs:-/4@d72f5dc1",
" 5 push TEST: 0:sym#7()": "cpu:60713, mem:3211, objs:-/5@af7c85bb, stk:1@8e5c3d6a, auth:1@8b9c58a5/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#11))": "cpu:61721, mem:3304, objs:-/6@6c5fdc1a",
" 8 call obj_cmp(Symbol(obj#11), Symbol(obj#7))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:62010",
" 10 pop TEST: 0:sym#7 -> Ok(Void)": "",
" 11 call call(Address(obj#1), Symbol(u64_range), Vec(obj#13))": "cpu:62975, mem:3400, objs:-/7@d4772724, stk:-, auth:-/-",
" 12 push TEST: 0:u64_range(U64(0), U64(90))": "cpu:73518, mem:4560, objs:-/8@54b7a7f5, stk:1@dbe31a12, auth:1@f2dec085/-",
" 13 call symbol_new_from_slice(13)": "",
" 14 ret symbol_new_from_slice -> Ok(Symbol(obj#17))": "cpu:74526, mem:4653, objs:-/9@f0aa5418",
" 15 call prng_u64_in_inclusive_range(0, 90)": "",
" 16 ret prng_u64_in_inclusive_range -> Ok(33)": "cpu:76875, prngs:a66058e0/bea2af26, stk:1@c09f3d4b",
" 17 call obj_from_u64(33)": "",
" 18 ret obj_from_u64 -> Ok(U64(obj#19))": "cpu:77376, mem:4717, objs:-/10@fc5d1b74",
" 19 pop TEST: 0:u64_range -> Ok(U64(obj#19))": "",
" 20 ret call -> Ok(U64(obj#19))": "cpu:77437, prngs:-/bea2af26, stk:-, auth:-/-",
" 21 call obj_to_u64(U64(obj#19))": "",
" 22 ret obj_to_u64 -> Ok(33)": "cpu:77602",
" 23 end": "cpu:77602, mem:4717, prngs:-/bea2af26, objs:-/10@fc5d1b74, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
34 changes: 23 additions & 11 deletions soroban-env-host/observations/22/test__prng__base_prng_seed_1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,26 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call call(Address(obj#1), Symbol(u64_range), Vec(obj#5))": "cpu:44491, mem:1822, prngs:-/ed310798, objs:-/3@8108cdff, store:-/2@7bc024e1, foot:2@d6be0e71",
" 2 push TEST: 0:u64_range(U64(0), U64(90))": "cpu:55034, mem:2982, objs:-/4@9b4e2a05, stk:1@dbe31a12, auth:1@99d29b33/-",
" 3 call prng_u64_in_inclusive_range(0, 90)": "",
" 4 ret prng_u64_in_inclusive_range -> Ok(33)": "cpu:57383, prngs:a66058e0/bea2af26, stk:1@c09f3d4b",
" 5 call obj_from_u64(33)": "",
" 6 ret obj_from_u64 -> Ok(U64(obj#9))": "cpu:57884, mem:3046, objs:-/5@2fccfe72",
" 7 pop TEST: 0:u64_range -> Ok(U64(obj#9))": "",
" 8 ret call -> Ok(U64(obj#9))": "cpu:57945, prngs:-/bea2af26, stk:-, auth:-/-",
" 9 call obj_to_u64(U64(obj#9))": "",
" 10 ret obj_to_u64 -> Ok(33)": "cpu:58110",
" 11 end": "cpu:58110, mem:3046, prngs:-/bea2af26, objs:-/5@2fccfe72, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:29416, mem:64, prngs:-/ed310798, objs:-/1@6e27cef",
" 2 ret vec_new -> Ok(Vec(obj#3))": "cpu:29917, mem:128, objs:-/2@19dff6ca",
" 3 call symbol_new_from_slice(13)": "cpu:49977, mem:1990, objs:-/3@52e71cc, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#7))": "cpu:50985, mem:2083, objs:-/4@d72f5dc1",
" 5 push TEST: 0:sym#7()": "cpu:60713, mem:3211, objs:-/5@af7c85bb, stk:1@8e5c3d6a, auth:1@8b9c58a5/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#11))": "cpu:61721, mem:3304, objs:-/6@6c5fdc1a",
" 8 call obj_cmp(Symbol(obj#11), Symbol(obj#7))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:62010",
" 10 pop TEST: 0:sym#7 -> Ok(Void)": "",
" 11 call call(Address(obj#1), Symbol(u64_range), Vec(obj#13))": "cpu:62975, mem:3400, objs:-/7@d4772724, stk:-, auth:-/-",
" 12 push TEST: 0:u64_range(U64(0), U64(90))": "cpu:73518, mem:4560, objs:-/8@54b7a7f5, stk:1@dbe31a12, auth:1@f2dec085/-",
" 13 call symbol_new_from_slice(13)": "",
" 14 ret symbol_new_from_slice -> Ok(Symbol(obj#17))": "cpu:74526, mem:4653, objs:-/9@f0aa5418",
" 15 call prng_u64_in_inclusive_range(0, 90)": "",
" 16 ret prng_u64_in_inclusive_range -> Ok(33)": "cpu:76875, prngs:a66058e0/bea2af26, stk:1@c09f3d4b",
" 17 call obj_from_u64(33)": "",
" 18 ret obj_from_u64 -> Ok(U64(obj#19))": "cpu:77376, mem:4717, objs:-/10@fc5d1b74",
" 19 pop TEST: 0:u64_range -> Ok(U64(obj#19))": "",
" 20 ret call -> Ok(U64(obj#19))": "cpu:77437, prngs:-/bea2af26, stk:-, auth:-/-",
" 21 call obj_to_u64(U64(obj#19))": "",
" 22 ret obj_to_u64 -> Ok(33)": "cpu:77602",
" 23 end": "cpu:77602, mem:4717, prngs:-/bea2af26, objs:-/10@fc5d1b74, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
34 changes: 23 additions & 11 deletions soroban-env-host/observations/22/test__prng__base_prng_seed_2.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,26 @@
{
" 0 begin": "cpu:14488, mem:0, prngs:-/9b4a753, objs:-/-, vm:-/-, evt:-, store:-/-, foot:-, stk:-, auth:-/-",
" 1 call call(Address(obj#1), Symbol(u64_range), Vec(obj#5))": "cpu:44491, mem:1822, prngs:-/da694490, objs:-/3@8108cdff, store:-/2@7bc024e1, foot:2@d6be0e71",
" 2 push TEST: 0:u64_range(U64(0), U64(90))": "cpu:55034, mem:2982, objs:-/4@9b4e2a05, stk:1@dbe31a12, auth:1@99d29b33/-",
" 3 call prng_u64_in_inclusive_range(0, 90)": "",
" 4 ret prng_u64_in_inclusive_range -> Ok(81)": "cpu:57383, prngs:6d4c49fc/f3d00d54, stk:1@b8468052",
" 5 call obj_from_u64(81)": "",
" 6 ret obj_from_u64 -> Ok(U64(obj#9))": "cpu:57884, mem:3046, objs:-/5@f32a065e",
" 7 pop TEST: 0:u64_range -> Ok(U64(obj#9))": "",
" 8 ret call -> Ok(U64(obj#9))": "cpu:57945, prngs:-/f3d00d54, stk:-, auth:-/-",
" 9 call obj_to_u64(U64(obj#9))": "",
" 10 ret obj_to_u64 -> Ok(81)": "cpu:58110",
" 11 end": "cpu:58110, mem:3046, prngs:-/f3d00d54, objs:-/5@f32a065e, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
" 1 call vec_new()": "cpu:29416, mem:64, prngs:-/da694490, objs:-/1@6e27cef",
" 2 ret vec_new -> Ok(Vec(obj#3))": "cpu:29917, mem:128, objs:-/2@19dff6ca",
" 3 call symbol_new_from_slice(13)": "cpu:49977, mem:1990, objs:-/3@52e71cc, store:-/2@7bc024e1, foot:2@d6be0e71",
" 4 ret symbol_new_from_slice -> Ok(Symbol(obj#7))": "cpu:50985, mem:2083, objs:-/4@d72f5dc1",
" 5 push TEST: 0:sym#7()": "cpu:60713, mem:3211, objs:-/5@af7c85bb, stk:1@8e5c3d6a, auth:1@8b9c58a5/-",
" 6 call symbol_new_from_slice(13)": "",
" 7 ret symbol_new_from_slice -> Ok(Symbol(obj#11))": "cpu:61721, mem:3304, objs:-/6@6c5fdc1a",
" 8 call obj_cmp(Symbol(obj#11), Symbol(obj#7))": "",
" 9 ret obj_cmp -> Ok(0)": "cpu:62010",
" 10 pop TEST: 0:sym#7 -> Ok(Void)": "",
" 11 call call(Address(obj#1), Symbol(u64_range), Vec(obj#13))": "cpu:62975, mem:3400, objs:-/7@d4772724, stk:-, auth:-/-",
" 12 push TEST: 0:u64_range(U64(0), U64(90))": "cpu:73518, mem:4560, objs:-/8@54b7a7f5, stk:1@dbe31a12, auth:1@f2dec085/-",
" 13 call symbol_new_from_slice(13)": "",
" 14 ret symbol_new_from_slice -> Ok(Symbol(obj#17))": "cpu:74526, mem:4653, objs:-/9@f0aa5418",
" 15 call prng_u64_in_inclusive_range(0, 90)": "",
" 16 ret prng_u64_in_inclusive_range -> Ok(81)": "cpu:76875, prngs:6d4c49fc/f3d00d54, stk:1@b8468052",
" 17 call obj_from_u64(81)": "",
" 18 ret obj_from_u64 -> Ok(U64(obj#19))": "cpu:77376, mem:4717, objs:-/10@2c114a2d",
" 19 pop TEST: 0:u64_range -> Ok(U64(obj#19))": "",
" 20 ret call -> Ok(U64(obj#19))": "cpu:77437, prngs:-/f3d00d54, stk:-, auth:-/-",
" 21 call obj_to_u64(U64(obj#19))": "",
" 22 ret obj_to_u64 -> Ok(81)": "cpu:77602",
" 23 end": "cpu:77602, mem:4717, prngs:-/f3d00d54, objs:-/10@2c114a2d, vm:-/-, evt:-, store:-/2@7bc024e1, foot:2@d6be0e71, stk:-, auth:-/-"
}
Loading
Loading