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: double-spawn is no-op, not crash

Browse Source
This commit is contained in:
drbeefsupreme 2021-07-16 10:47:43 -04:00
parent e60ef1a9d7
commit b5d99d3ee2
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1783,17 +1783,21 @@
=/ marbud-sproxy [marbud-own %set-spawn-proxy (addr %marbud-skey)] =/ marbud-sproxy [marbud-own %set-spawn-proxy (addr %marbud-skey)]
=/ lt-spawn-0 [marbud-own %spawn ~linnup-torsyx (addr %lt-key-0)] =/ lt-spawn-0 [marbud-own %spawn ~linnup-torsyx (addr %lt-key-0)]
=/ lt-spawn-1 [marbud-spn %spawn ~linnup-torsyx (addr %lt-key-1)] =/ lt-spawn-1 [marbud-spn %spawn ~linnup-torsyx (addr %lt-key-1)]
=| =^state:naive
=^ f state (init-marbud state)
=^ f state (n state %bat q:(gen-tx 0 marbud-sproxy %marbud-key-0))
=^ f state (n state %bat q:(gen-tx 1 lt-spawn-0 %marbud-key-0))
=/ marbud-point (~(got by points.state) ~marbud)
=/ new-marbud marbud-point(nonce.spawn-proxy.own 1)
=/ no-op-state state(points (~(put by points.state) ~marbud new-marbud))
:: ::
%- expect-fail %+ expect-eq
|. !> no-op-state
=| =^state:naive ::
=^ f state (init-marbud state) !>
=^ f state (n state %bat q:(gen-tx 0 marbud-sproxy %marbud-key-0))
=^ f state (n state %bat q:(gen-tx 1 lt-spawn-0 %marbud-key-0))
=^ f state (n state %bat q:(gen-tx 0 lt-spawn-1 %marbud-skey)) =^ f state (n state %bat q:(gen-tx 0 lt-spawn-1 %marbud-skey))
state state
:: ::
::
++ test-marbud-l2-change-keys ^- tang ++ test-marbud-l2-change-keys ^- tang
=/ new-keys [%configure-keys encr auth suit |] =/ new-keys [%configure-keys encr auth suit |]
=/ marbud-mproxy [marbud-own %set-management-proxy (addr %marbud-mkey)] =/ marbud-mproxy [marbud-own %set-management-proxy (addr %marbud-mkey)]
@ -2139,8 +2143,6 @@
[escape.net sponsor.net]:(~(got by points.state) ~linnup-torsyx) [escape.net sponsor.net]:(~(got by points.state) ~linnup-torsyx)
:: ::
++ test-linnup-torsyx-l2-adopt-reject ^- tang ++ test-linnup-torsyx-l2-adopt-reject ^- tang
:: TODO: at the moment the default sponsor is always ~zod, but it should probably
:: be ~marbud here
=/ lt-spawn [marbud-own %spawn ~linnup-torsyx (addr %lt-key-0)] =/ lt-spawn [marbud-own %spawn ~linnup-torsyx (addr %lt-key-0)]
=/ lt-transfer-yes-breach [lt-xfr %transfer-point (addr %lt-key-0) &] =/ lt-transfer-yes-breach [lt-xfr %transfer-point (addr %lt-key-0) &]
:: ::