urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-25 21:12:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

naive: batches with tx with trailing zeroes fail

Browse Source
This commit is contained in:
drbeefsupreme 2021-08-11 12:50:21 -04:00
parent 3943d05a02
commit dac89b0e3b
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC
1 changed files with 45 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
pkg/arvo/tests/lib/naive.hoon
View File

@ -1356,21 +1356,28 @@
++ test-rut-l1-l1-adopt-l2-3 ^- tang ++ test-rut-l1-l1-adopt-l2-3 ^- tang
:: L2-adopt A1 | * | ~ | * | * | -> | * | ~ | * | * :: L2-adopt A1 | * | ~ | * | * | -> | * | ~ | * | *
:: ::
=/ rr-h-detach [holrut-own %detach ~rabsum-ravtyd] =/ rr-h-detach [1 [holrut-own %detach ~rabsum-ravtyd] %holrut-key-0]
=/ rr-h-m-detach [holrut-mgmt %detach ~rabsum-ravtyd] =/ rr-h-m-detach [0 [holrut-mgmt %detach ~rabsum-ravtyd] %holrut-mkey-0]
=/ rr-adopt [losred-own %adopt ~rabsum-ravtyd] =/ rr-adopt [0 [losred-own %adopt ~rabsum-ravtyd] %losred-key-0]
=/ rr-m-adopt [losred-mgmt %adopt ~rabsum-ravtyd] =/ rr-m-adopt [0 [losred-mgmt %adopt ~rabsum-ravtyd] %losred-mkey-0]
:: ::
;: weld =, l2-event-gen
%+ expect-eq =/ rr-batch-1=tx-list (limo ~[rr-h-detach rr-adopt])
!> [~ %.n ~holrut] =/ rr-batch-2=tx-list (limo ~[rr-h-m-detach rr-m-adopt])
~& ['detach' `@ux`(tx-list-to-batch (limo ~[rr-h-detach]))]
~& ['adopt' `@ux`(tx-list-to-batch (limo ~[rr-adopt]))]
~& ['batch' `@ux`(tx-list-to-batch rr-batch-1)]
:: ::
!> :: ;: weld
=| =^state:naive :: %+ expect-eq
=^ f state (init-rut-full state) :: !> [~ %.n ~holrut]
=^ f state (n state %bat q:(gen-tx 1 rr-h-detach %holrut-key-0)) :: ::
=^ f state (n state %bat q:(gen-tx 0 rr-adopt %losred-key-0)) :: !>
[escape.net sponsor.net]:(~(got by points.state) ~rabsum-ravtyd) :: =| =^state:naive
:: =^ f state (init-rut-full state)
:: =^ f state (n state %bat q:(gen-tx rr-h-detach))
:: =^ f state (n state %bat q:(gen-tx rr-adopt))
:: [escape.net sponsor.net]:(~(got by points.state) ~rabsum-ravtyd)
:: ::
%+ expect-eq %+ expect-eq
!> [~ %.n ~holrut] !> [~ %.n ~holrut]
@ -1378,10 +1385,28 @@
!> !>
=| =^state:naive =| =^state:naive
=^ f state (init-rut-full state) =^ f state (init-rut-full state)
=^ f state (n state %bat q:(gen-tx 0 rr-h-m-detach %holrut-mkey-0)) =^ f state (n state %bat (tx-list-to-batch rr-batch-1))
=^ f state (n state %bat q:(gen-tx 0 rr-m-adopt %losred-mkey-0))
[escape.net sponsor.net]:(~(got by points.state) ~rabsum-ravtyd) [escape.net sponsor.net]:(~(got by points.state) ~rabsum-ravtyd)
== ::
:: %+ expect-eq
:: !> [~ %.n ~holrut]
:: ::
:: !>
:: =| =^state:naive
:: =^ f state (init-rut-full state)
:: =^ f state (n state %bat q:(gen-tx rr-h-m-detach))
:: =^ f state (n state %bat q:(gen-tx rr-m-adopt))
:: [escape.net sponsor.net]:(~(got by points.state) ~rabsum-ravtyd)
:: ::
:: %+ expect-eq
:: !> [~ %.n ~holrut]
:: ::
:: !>
:: =| =^state:naive
:: =^ f state (init-rut-full state)
:: =^ f state (n state %bat (tx-list-to-batch rr-batch-2))
:: [escape.net sponsor.net]:(~(got by points.state) ~rabsum-ravtyd)
:: ==
:: ::
:: the following tests L2 %rejects :: the following tests L2 %rejects
++ test-red-l2-l2-reject-l2-1 ^- tang ++ test-red-l2-l2-reject-l2-1 ^- tang
@ -3018,6 +3043,9 @@
=/ tx-1=full-tx [0 marbud-transfer %marbud-key-0] =/ tx-1=full-tx [0 marbud-transfer %marbud-key-0]
=/ tx-2=full-tx [1 marbud-transfer-2 %marbud-key-0] =/ tx-2=full-tx [1 marbud-transfer-2 %marbud-key-0]
=/ txs=tx-list (limo ~[tx-1 tx-2]) =/ txs=tx-list (limo ~[tx-1 tx-2])
~& ['tx-1' `@ux`(tx-list-to-batch (limo ~[tx-1]))]
~& ['tx-2' `@ux`(tx-list-to-batch (limo ~[tx-2]))]
~& ['txs' `@ux`(tx-list-to-batch txs)]
%+ expect-eq %+ expect-eq
!> [(addr %marbud-key-1) 2] !> [(addr %marbud-key-1) 2]
:: ::