-
Notifications
You must be signed in to change notification settings - Fork 44
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Call constructors for the test contracts.
Also added some utilities to support setting up contracts with constructors in the SDK.
- Loading branch information
Showing
20 changed files
with
7,072 additions
and
6,461 deletions.
There are no files selected for viewing
46 changes: 29 additions & 17 deletions
46
soroban-env-host/observations/22/test__event__contract_event.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
22
soroban-env-host/observations/22/test__event__test_event_rollback.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
16
soroban-env-host/observations/22/test__frame__has_frame.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
36
soroban-env-host/observations/22/test__invocation__native_invoke_return_err_variants.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
34
soroban-env-host/observations/22/test__prng__base_prng_seed_0.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
34
soroban-env-host/observations/22/test__prng__base_prng_seed_1.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
34
soroban-env-host/observations/22/test__prng__base_prng_seed_2.json
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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:-/-" | ||
} |
Oops, something went wrong.