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

naive: add test categories

Browse Source
This commit is contained in:
drbeefsupreme 2021-06-10 13:22:10 -04:00
parent da53512560
commit 71c6b45bc4
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC
1 changed files with 27 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -629,36 +629,39 @@
%+ weld $(ship-list t.ship-list)
=/ cur-ship i.ship-list
::
::%+ category `@t`cur-ship
%+ category (scow %p cur-ship)
=/ current-events (~(get ja event-jar) cur-ship)
|- ^- tang
?~ current-events ~
%+ weld $(current-events t.current-events)
=/ cur-event i.-.current-events
:: %+ category cur-event
%+ category (weld "dominion " (scow %tas dominion.cur-event))
%+ category (weld "proxy " (scow %tas proxy.cur-event))
%+ category (weld "tx-type " (scow %tas tx-type.cur-event))
%+ category (weld "owner? " (scow %f owner.cur-event))
%+ category (weld "correct nonce? " (scow %f nonce.cur-event))
=/ state initial-state
:: %+ category i.current-events
%+ expect-eq
!> (~(got by suc-map) cur-event)
::
!>
=^ f
state
%- n
:+ initial-state ::state?
%bat
=< q
%- gen-tx
:+ nonce.owner.own:(~(got by points.state) cur-ship)
:+ [cur-ship proxy.cur-event]
%set-management-proxy ::tx-type.cur-event why does the tx-type not work?
(addr common-mgmt)
(~(got by default-own-keys) cur-ship)
?: .= =< address.management-proxy.own
(~(got by points.state) cur-ship)
(addr common-mgmt)
%.y
%.n
%+ expect-eq
!> (~(got by suc-map) cur-event)
::
!>
=^ f
state
%- n
:+ initial-state ::state?
%bat
=< q
%- gen-tx
:+ +(nonce.owner.own:(~(got by points.state) cur-ship))
:+ [cur-ship proxy.cur-event]
%set-management-proxy ::tx-type.cur-event why does the tx-type not work?
(addr common-mgmt)
(~(got by default-own-keys) cur-ship)
?: .= =< address.management-proxy.own
(~(got by points.state) cur-ship)
(addr common-mgmt)
%.y
%.n
::
++ test-marbud-l2-change-keys-new ^- tang
=/ new-keys [%configure-keys suit encr auth |]