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.

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

Observe most of the remainder of the testsuite #1206

Merged
merged 4 commits into from
Nov 14, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,9 @@ clean:
regenerate-test-wasms:
make -C soroban-test-wasms regenerate-test-wasms

reobserve-tests:
UPDATE_OBSERVATIONS=1 cargo test -p soroban-env-host --features testutils --profile test-opt

publish:
cargo workspaces publish --all --force '*' --from-git --yes

Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call strkey_to_address(String(obj#1))": "cpu:1141, mem:64, objs:-/1@bd4c4a65",
" 2 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:1249",
" 3 call strkey_to_address(String(obj#3))": "cpu:2390, mem:128, objs:-/2@9fd4b6cd",
" 4 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:2498",
" 5 call strkey_to_address(String(obj#5))": "cpu:3639, mem:192, objs:-/3@689511b8",
" 6 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:3747",
" 7 call strkey_to_address(String(obj#7))": "cpu:4888, mem:256, objs:-/4@ab4423e0",
" 8 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:4996",
" 9 call strkey_to_address(String(obj#9))": "cpu:6137, mem:320, objs:-/5@15606c67",
" 10 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:6245",
" 11 call strkey_to_address(String(obj#11))": "cpu:7386, mem:384, objs:-/6@bc588a71",
" 12 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:10797, mem:542",
" 13 call strkey_to_address(String(obj#13))": "cpu:11938, mem:606, objs:-/7@56b400dc",
" 14 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:12046",
" 15 call strkey_to_address(String(obj#15))": "cpu:13187, mem:670, objs:-/8@85c98c9",
" 16 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:16598, mem:828",
" 17 call strkey_to_address(String(obj#17))": "cpu:17739, mem:892, objs:-/9@fd87b9bc",
" 18 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:21150, mem:1050",
" 19 call strkey_to_address(String(obj#19))": "cpu:22291, mem:1114, objs:-/10@bdfbc9a4",
" 20 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:25702, mem:1272",
" 21 call strkey_to_address(String(obj#21))": "cpu:26843, mem:1336, objs:-/11@cf129ba3",
" 22 ret strkey_to_address -> Err(Error(Value, InvalidInput))": "cpu:26951",
" 23 end": "cpu:26951, mem:1336, prngs:-/-, objs:-/11@cf129ba3, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call address_to_strkey(Address(obj#1))": "cpu:1141, mem:64, objs:-/1@e9e762b2",
" 2 ret address_to_strkey -> Ok(String(obj#3))": "cpu:4299, mem:235, objs:-/2@9bfb5401",
" 3 call strkey_to_address(String(obj#3))": "cpu:4407",
" 4 ret strkey_to_address -> Ok(Address(obj#5))": "cpu:8959, mem:457, objs:-/3@b643345f",
" 5 call obj_cmp(Address(obj#1), Address(obj#5))": "",
" 6 ret obj_cmp -> Ok(0)": "cpu:9645",
" 7 call strkey_to_address(Bytes(obj#7))": "cpu:10786, mem:521, objs:-/4@cde6f555",
" 8 ret strkey_to_address -> Ok(Address(obj#9))": "cpu:15338, mem:743, objs:-/5@a0e5108e",
" 9 call obj_cmp(Address(obj#1), Address(obj#9))": "",
" 10 ret obj_cmp -> Ok(0)": "cpu:16024",
" 11 end": "cpu:16024, mem:743, prngs:-/-, objs:-/5@a0e5108e, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call address_to_strkey(Address(obj#1))": "cpu:1141, mem:64, objs:-/1@a8b8cea4",
" 2 ret address_to_strkey -> Ok(String(obj#3))": "cpu:4299, mem:235, objs:-/2@6429a459",
" 3 call strkey_to_address(String(obj#3))": "cpu:4407",
" 4 ret strkey_to_address -> Ok(Address(obj#5))": "cpu:8959, mem:457, objs:-/3@94ada867",
" 5 call obj_cmp(Address(obj#1), Address(obj#5))": "",
" 6 ret obj_cmp -> Ok(0)": "cpu:9645",
" 7 call strkey_to_address(Bytes(obj#7))": "cpu:10786, mem:521, objs:-/4@245777ac",
" 8 ret strkey_to_address -> Ok(Address(obj#9))": "cpu:15338, mem:743, objs:-/5@54c60c8",
" 9 call obj_cmp(Address(obj#1), Address(obj#9))": "",
" 10 ret obj_cmp -> Ok(0)": "cpu:16024",
" 11 end": "cpu:16024, mem:743, prngs:-/-, objs:-/5@54c60c8, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 end": "cpu:1313281, mem:156225, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 end": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call obj_from_i64(9223372036854775807)": "",
" 2 ret obj_from_i64 -> Ok(I64(obj#1))": "cpu:1141, mem:64, objs:-/1@505c85d5",
" 3 call obj_to_i64(I64(obj#1))": "",
" 4 ret obj_to_i64 -> Ok(9223372036854775807)": "cpu:1500",
" 5 end": "cpu:1500, mem:64, prngs:-/-, objs:-/1@505c85d5, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call vec_new_from_slice(2)": "",
" 2 ret vec_new_from_slice -> Ok(Vec(obj#1))": "cpu:2787, mem:96, objs:-/1@9d1ee4bc",
" 3 call vec_unpack_to_slice(Vec(obj#1), 2)": "",
" 4 ret vec_unpack_to_slice -> Ok(Void)": "cpu:3147",
" 5 end": "cpu:3147, mem:96, prngs:-/-, objs:-/1@9d1ee4bc, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 end": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call obj_from_u64(18446744073709551615)": "",
" 2 ret obj_from_u64 -> Ok(U64(obj#1))": "cpu:1141, mem:64, objs:-/1@ecad9fd5",
" 3 call obj_to_u64(U64(obj#1))": "",
" 4 ret obj_to_u64 -> Ok(18446744073709551615)": "cpu:1500",
" 5 end": "cpu:1500, mem:64, prngs:-/-, objs:-/1@ecad9fd5, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/d8a09d57, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 end": "cpu:3, mem:3, prngs:-/d8a09d57, objs:-/1@e6201d48, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call bytes_new()": "",
" 2 ret bytes_new -> Ok(Bytes(obj#1))": "cpu:1141, mem:64, objs:-/1@5b7170d7",
" 3 call bytes_put(Bytes(obj#1), U32(0), U32(1))": "",
" 4 ret bytes_put -> Err(Error(Object, IndexBounds))": "cpu:2893, mem:80",
" 5 end": "cpu:2893, mem:80, prngs:-/-, objs:-/1@5b7170d7, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call bytes_new_from_slice(4)": "",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:2785, mem:84, objs:-/1@5311c87f",
" 3 call bytes_slice(Bytes(obj#1), U32(4), U32(4))": "",
" 4 ret bytes_slice -> Ok(Bytes(obj#3))": "cpu:5678, mem:164, objs:-/2@69ed7e0c",
" 5 call bytes_new()": "",
" 6 ret bytes_new -> Ok(Bytes(obj#5))": "cpu:6819, mem:228, objs:-/3@33e79d49",
" 7 call obj_cmp(Bytes(obj#3), Bytes(obj#5))": "",
" 8 ret obj_cmp -> Ok(0)": "cpu:7501",
" 9 end": "cpu:7501, mem:228, prngs:-/-, objs:-/3@33e79d49, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call bytes_new_from_slice(4)": "",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:2785, mem:84, objs:-/1@5311c87f",
" 3 call bytes_slice(Bytes(obj#1), U32(2), U32(1))": "",
" 4 ret bytes_slice -> Err(Error(Object, InvalidInput))": "cpu:2893",
" 5 end": "cpu:2893, mem:84, prngs:-/-, objs:-/1@5311c87f, vmem:-, evt:-, store:-/-"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call bytes_new_from_slice(4)": "",
" 2 ret bytes_new_from_slice -> Ok(Bytes(obj#1))": "cpu:2785, mem:84, objs:-/1@5311c87f",
" 3 call bytes_slice(Bytes(obj#1), U32(5), U32(10))": "",
" 4 ret bytes_slice -> Err(Error(Object, IndexBounds))": "cpu:2893",
" 5 end": "cpu:2893, mem:84, prngs:-/-, objs:-/1@5311c87f, vmem:-, evt:-, store:-/-"
}
144 changes: 144 additions & 0 deletions soroban-env-host/observations/test__bytes__bytes_suite_of_tests.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,144 @@
{
" 0 begin": "cpu:0, mem:0, prngs:-/-, objs:-/-, vmem:-, evt:-, store:-/-",
" 1 call bytes_new()": "",
" 2 ret bytes_new -> Ok(Bytes(obj#1))": "cpu:1141, mem:64, objs:-/1@5b7170d7",
" 3 call bytes_push(Bytes(obj#1), U32(0))": "",
" 4 ret bytes_push -> Ok(Bytes(obj#3))": "cpu:4034, mem:145, objs:-/2@bc0042bf",
" 5 call bytes_push(Bytes(obj#3), U32(1))": "",
" 6 ret bytes_push -> Ok(Bytes(obj#5))": "cpu:6927, mem:227, objs:-/3@1a659a60",
" 7 call bytes_push(Bytes(obj#5), U32(2))": "",
" 8 ret bytes_push -> Ok(Bytes(obj#7))": "cpu:9820, mem:310, objs:-/4@69577330",
" 9 call bytes_push(Bytes(obj#7), U32(3))": "",
" 10 ret bytes_push -> Ok(Bytes(obj#9))": "cpu:12713, mem:394, objs:-/5@7fc08ab0",
" 11 call bytes_push(Bytes(obj#9), U32(4))": "",
" 12 ret bytes_push -> Ok(Bytes(obj#11))": "cpu:15606, mem:479, objs:-/6@81e5de98",
" 13 call bytes_push(Bytes(obj#11), U32(5))": "",
" 14 ret bytes_push -> Ok(Bytes(obj#13))": "cpu:18499, mem:565, objs:-/7@26b57c7a",
" 15 call bytes_push(Bytes(obj#13), U32(6))": "",
" 16 ret bytes_push -> Ok(Bytes(obj#15))": "cpu:21392, mem:652, objs:-/8@b058ac1e",
" 17 call bytes_push(Bytes(obj#15), U32(7))": "",
" 18 ret bytes_push -> Ok(Bytes(obj#17))": "cpu:24286, mem:740, objs:-/9@21ab6350",
" 19 call bytes_push(Bytes(obj#17), U32(8))": "",
" 20 ret bytes_push -> Ok(Bytes(obj#19))": "cpu:27180, mem:829, objs:-/10@41409c48",
" 21 call bytes_push(Bytes(obj#19), U32(9))": "",
" 22 ret bytes_push -> Ok(Bytes(obj#21))": "cpu:30074, mem:919, objs:-/11@7771e725",
" 23 call bytes_push(Bytes(obj#21), U32(10))": "",
" 24 ret bytes_push -> Ok(Bytes(obj#23))": "cpu:32968, mem:1010, objs:-/12@1c03b57",
" 25 call bytes_push(Bytes(obj#23), U32(11))": "",
" 26 ret bytes_push -> Ok(Bytes(obj#25))": "cpu:35862, mem:1102, objs:-/13@43a022de",
" 27 call bytes_push(Bytes(obj#25), U32(12))": "",
" 28 ret bytes_push -> Ok(Bytes(obj#27))": "cpu:38756, mem:1195, objs:-/14@2d448c3",
" 29 call bytes_push(Bytes(obj#27), U32(13))": "",
" 30 ret bytes_push -> Ok(Bytes(obj#29))": "cpu:41650, mem:1289, objs:-/15@7bb2e149",
" 31 call bytes_push(Bytes(obj#29), U32(14))": "",
" 32 ret bytes_push -> Ok(Bytes(obj#31))": "cpu:44544, mem:1384, objs:-/16@bb729bfc",
" 33 call bytes_push(Bytes(obj#31), U32(15))": "",
" 34 ret bytes_push -> Ok(Bytes(obj#33))": "cpu:47439, mem:1480, objs:-/17@bf83019",
" 35 call bytes_push(Bytes(obj#33), U32(16))": "",
" 36 ret bytes_push -> Ok(Bytes(obj#35))": "cpu:50334, mem:1577, objs:-/18@f9dc71e5",
" 37 call bytes_push(Bytes(obj#35), U32(17))": "",
" 38 ret bytes_push -> Ok(Bytes(obj#37))": "cpu:53229, mem:1675, objs:-/19@3cc07695",
" 39 call bytes_push(Bytes(obj#37), U32(18))": "",
" 40 ret bytes_push -> Ok(Bytes(obj#39))": "cpu:56124, mem:1774, objs:-/20@423b21c2",
" 41 call bytes_push(Bytes(obj#39), U32(19))": "",
" 42 ret bytes_push -> Ok(Bytes(obj#41))": "cpu:59019, mem:1874, objs:-/21@10b77202",
" 43 call bytes_push(Bytes(obj#41), U32(20))": "",
" 44 ret bytes_push -> Ok(Bytes(obj#43))": "cpu:61914, mem:1975, objs:-/22@821f50f9",
" 45 call bytes_push(Bytes(obj#43), U32(21))": "",
" 46 ret bytes_push -> Ok(Bytes(obj#45))": "cpu:64809, mem:2077, objs:-/23@af1d3a16",
" 47 call bytes_push(Bytes(obj#45), U32(22))": "",
" 48 ret bytes_push -> Ok(Bytes(obj#47))": "cpu:67704, mem:2180, objs:-/24@3351c300",
" 49 call bytes_push(Bytes(obj#47), U32(23))": "",
" 50 ret bytes_push -> Ok(Bytes(obj#49))": "cpu:70600, mem:2284, objs:-/25@28e0e0b5",
" 51 call bytes_push(Bytes(obj#49), U32(24))": "",
" 52 ret bytes_push -> Ok(Bytes(obj#51))": "cpu:73496, mem:2389, objs:-/26@7cce134",
" 53 call bytes_push(Bytes(obj#51), U32(25))": "",
" 54 ret bytes_push -> Ok(Bytes(obj#53))": "cpu:76392, mem:2495, objs:-/27@ab8fa733",
" 55 call bytes_push(Bytes(obj#53), U32(26))": "",
" 56 ret bytes_push -> Ok(Bytes(obj#55))": "cpu:79288, mem:2602, objs:-/28@40cc0eda",
" 57 call bytes_push(Bytes(obj#55), U32(27))": "",
" 58 ret bytes_push -> Ok(Bytes(obj#57))": "cpu:82184, mem:2710, objs:-/29@9ee16458",
" 59 call bytes_push(Bytes(obj#57), U32(28))": "",
" 60 ret bytes_push -> Ok(Bytes(obj#59))": "cpu:85080, mem:2819, objs:-/30@37ce4a1c",
" 61 call bytes_push(Bytes(obj#59), U32(29))": "",
" 62 ret bytes_push -> Ok(Bytes(obj#61))": "cpu:87976, mem:2929, objs:-/31@ecad0727",
" 63 call bytes_push(Bytes(obj#61), U32(30))": "",
" 64 ret bytes_push -> Ok(Bytes(obj#63))": "cpu:90872, mem:3040, objs:-/32@f21ae9e8",
" 65 call bytes_push(Bytes(obj#63), U32(31))": "",
" 66 ret bytes_push -> Ok(Bytes(obj#65))": "cpu:93769, mem:3152, objs:-/33@a7540124",
" 67 call bytes_pop(Bytes(obj#65))": "cpu:95525, mem:3200",
" 68 ret bytes_pop -> Ok(Bytes(obj#67))": "cpu:98422, mem:3312, objs:-/34@fd9fd59d",
" 69 call bytes_pop(Bytes(obj#67))": "",
" 70 ret bytes_pop -> Ok(Bytes(obj#69))": "cpu:101318, mem:3423, objs:-/35@dde7dc41",
" 71 call bytes_pop(Bytes(obj#69))": "",
" 72 ret bytes_pop -> Ok(Bytes(obj#71))": "cpu:104214, mem:3533, objs:-/36@a46f4cb0",
" 73 call bytes_pop(Bytes(obj#71))": "",
" 74 ret bytes_pop -> Ok(Bytes(obj#73))": "cpu:107110, mem:3642, objs:-/37@cbecb63d",
" 75 call bytes_pop(Bytes(obj#73))": "",
" 76 ret bytes_pop -> Ok(Bytes(obj#75))": "cpu:110006, mem:3750, objs:-/38@35f44b1",
" 77 call bytes_pop(Bytes(obj#75))": "",
" 78 ret bytes_pop -> Ok(Bytes(obj#77))": "cpu:112902, mem:3857, objs:-/39@8889ea00",
" 79 call bytes_pop(Bytes(obj#77))": "",
" 80 ret bytes_pop -> Ok(Bytes(obj#79))": "cpu:115798, mem:3963, objs:-/40@d12d9846",
" 81 call bytes_pop(Bytes(obj#79))": "",
" 82 ret bytes_pop -> Ok(Bytes(obj#81))": "cpu:118694, mem:4068, objs:-/41@506cf807",
" 83 call bytes_pop(Bytes(obj#81))": "",
" 84 ret bytes_pop -> Ok(Bytes(obj#83))": "cpu:121590, mem:4172, objs:-/42@f3f4f9a3",
" 85 call bytes_pop(Bytes(obj#83))": "",
" 86 ret bytes_pop -> Ok(Bytes(obj#85))": "cpu:124485, mem:4275, objs:-/43@354cf418",
" 87 call bytes_pop(Bytes(obj#85))": "",
" 88 ret bytes_pop -> Ok(Bytes(obj#87))": "cpu:127380, mem:4377, objs:-/44@e3fa364b",
" 89 call bytes_pop(Bytes(obj#87))": "",
" 90 ret bytes_pop -> Ok(Bytes(obj#89))": "cpu:130275, mem:4478, objs:-/45@d22b6577",
" 91 call bytes_pop(Bytes(obj#89))": "",
" 92 ret bytes_pop -> Ok(Bytes(obj#91))": "cpu:133170, mem:4578, objs:-/46@a1c87ec5",
" 93 call bytes_pop(Bytes(obj#91))": "",
" 94 ret bytes_pop -> Ok(Bytes(obj#93))": "cpu:136065, mem:4677, objs:-/47@2db2ff9e",
" 95 call bytes_pop(Bytes(obj#93))": "",
" 96 ret bytes_pop -> Ok(Bytes(obj#95))": "cpu:138960, mem:4775, objs:-/48@c0d2d954",
" 97 call bytes_pop(Bytes(obj#95))": "",
" 98 ret bytes_pop -> Ok(Bytes(obj#97))": "cpu:141855, mem:4872, objs:-/49@db7b23eb",
" 99 call bytes_pop(Bytes(obj#97))": "",
" 100 ret bytes_pop -> Ok(Bytes(obj#99))": "cpu:144750, mem:4968, objs:-/50@2539acc1",
" 101 call bytes_pop(Bytes(obj#99))": "",
" 102 ret bytes_pop -> Ok(Bytes(obj#101))": "cpu:147644, mem:5063, objs:-/51@6ff50dc2",
" 103 call bytes_pop(Bytes(obj#101))": "",
" 104 ret bytes_pop -> Ok(Bytes(obj#103))": "cpu:150538, mem:5157, objs:-/52@8ebea215",
" 105 call bytes_pop(Bytes(obj#103))": "",
" 106 ret bytes_pop -> Ok(Bytes(obj#105))": "cpu:153432, mem:5250, objs:-/53@9581042f",
" 107 call bytes_pop(Bytes(obj#105))": "",
" 108 ret bytes_pop -> Ok(Bytes(obj#107))": "cpu:156326, mem:5342, objs:-/54@f11bfad2",
" 109 call bytes_pop(Bytes(obj#107))": "",
" 110 ret bytes_pop -> Ok(Bytes(obj#109))": "cpu:159220, mem:5433, objs:-/55@c5ab4ad6",
" 111 call bytes_pop(Bytes(obj#109))": "",
" 112 ret bytes_pop -> Ok(Bytes(obj#111))": "cpu:162114, mem:5523, objs:-/56@49cec8e7",
" 113 call bytes_pop(Bytes(obj#111))": "",
" 114 ret bytes_pop -> Ok(Bytes(obj#113))": "cpu:165008, mem:5612, objs:-/57@dfd2bf69",
" 115 call bytes_len(Bytes(obj#113))": "",
" 116 ret bytes_len -> Ok(U32(8))": "cpu:165116",
" 117 call bytes_get(Bytes(obj#113), U32(5))": "",
" 118 ret bytes_get -> Ok(U32(5))": "cpu:165224",
" 119 call bytes_put(Bytes(obj#113), U32(5), U32(99))": "",
" 120 ret bytes_put -> Ok(Bytes(obj#115))": "cpu:168118, mem:5700, objs:-/58@b09c829f",
" 121 call bytes_get(Bytes(obj#115), U32(5))": "",
" 122 ret bytes_get -> Ok(U32(99))": "cpu:168226",
" 123 call bytes_del(Bytes(obj#115), U32(5))": "",
" 124 ret bytes_del -> Ok(Bytes(obj#117))": "cpu:171370, mem:5788, objs:-/59@73e7b0c8",
" 125 call bytes_len(Bytes(obj#117))": "",
" 126 ret bytes_len -> Ok(U32(7))": "cpu:171478",
" 127 call bytes_front(Bytes(obj#117))": "",
" 128 ret bytes_front -> Ok(U32(0))": "cpu:171586",
" 129 call bytes_back(Bytes(obj#117))": "",
" 130 ret bytes_back -> Ok(U32(7))": "cpu:171694",
" 131 call bytes_insert(Bytes(obj#117), U32(5), U32(5))": "",
" 132 ret bytes_insert -> Ok(Bytes(obj#119))": "cpu:174588, mem:5876, objs:-/60@c18d0d38",
" 133 call bytes_slice(Bytes(obj#119), U32(0), U32(3))": "",
" 134 ret bytes_slice -> Ok(Bytes(obj#121))": "cpu:177481, mem:5959, objs:-/61@72a574a4",
" 135 call bytes_slice(Bytes(obj#119), U32(3), U32(8))": "cpu:179233, mem:5978",
" 136 ret bytes_slice -> Ok(Bytes(obj#123))": "cpu:182126, mem:6063, objs:-/62@24cbd45a",
" 137 call bytes_append(Bytes(obj#121), Bytes(obj#123))": "cpu:183878, mem:6084",
" 138 ret bytes_append -> Ok(Bytes(obj#125))": "cpu:186880, mem:6172, objs:-/63@8405b0bb",
" 139 call obj_cmp(Bytes(obj#119), Bytes(obj#125))": "",
" 140 ret obj_cmp -> Ok(0)": "cpu:187563",
" 141 end": "cpu:187563, mem:6172, prngs:-/-, objs:-/63@8405b0bb, vmem:-, evt:-, store:-/-"
}
Loading