ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-11 08:55:23 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5937 from urbit/ted/grq-test

Browse Source 
ames: fix comet test
This commit is contained in:
Ted Blackman 2022-08-11 22:27:15 +03:00 committed by GitHub
commit 7f35429e22
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 51 additions and 42 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

93
pkg/arvo/tests/sys/vane/ames.hoon
View File

@ -353,49 +353,58 @@
!> [~[/g/talk] %give %boon [%post 'first1']]
!> (snag 0 `(list move:ames)`moves6)
==
:: +test-comet-message-flow: galaxy<->comet comms
::
::TODO crashes in (snag 0 moves5), presumably due to subtle changes around
:: #5886. fix and re-enable!
:: ++ test-comet-message-flow ^- tang
:: :: same as test-message-flow, but ~nec will send a sendkeys packet to request
:: :: comet's self-attestation directly
:: ::
:: =^ moves0 nec (call nec ~[/g/talk] %plea our-comet %g /talk [%get %post])
:: =^ moves1 comet (call comet ~[//unix] %hear (snag-packet 0 moves0))
:: =^ moves2 comet
:: =/ =point:ames
:: :* rift=1
:: life=2
:: keys=[[life=2 [crypto-suite=1 `@`nec-pub]] ~ ~]
:: sponsor=`~nec
:: ==
:: %- take
:: :^ comet /public-keys ~[//unix]
:: ^- sign:ames
:: [%jael %public-keys %full [n=[~nec point] ~ ~]]
:: :: give comet's self-attestation to ~nec; at this point, we have established
:: :: a channel, and can proceed as usual
:: ::
:: =^ moves3 nec (call nec ~[//unix] %hear (snag-packet 0 moves2))
:: =^ moves4 comet (call comet ~[//unix] %hear (snag-packet 0 moves3))
:: =^ moves5 comet (take comet /bone/~nec/0/1 ~[//unix] %g %done ~)
:: =^ moves6 nec (call nec ~[//unix] %hear (snag-packet 0 moves5))
:: =^ moves7 comet (take comet /bone/~nec/0/1 ~[//unix] %g %boon [%post 'first1!!'])
:: =^ moves8 nec (call nec ~[//unix] %hear (snag-packet 0 moves7))
:: ::
:: ;: weld
:: %+ expect-eq
:: !> [~[//unix] %pass /qos %d %flog %text "; ~nec is your neighbor"]
:: !> (snag 0 `(list move:ames)`moves4)
:: ::
:: %+ expect-eq
:: !> [~[//unix] %pass /qos %d %flog %text "; {<our-comet>} is your neighbor"]
:: !> (snag 0 `(list move:ames)`moves6)
:: ::
:: %+ expect-eq
:: !> [~[/g/talk] %give %boon [%post 'first1!!']]
:: !> (snag 0 `(list move:ames)`moves8)
:: ==
:: same as test-message-flow, but ~nec will send a sendkeys packet to
:: request comet's self-attestation directly
::
++ test-comet-message-flow ^- tang
::=^ * nec (call nec ~[//nemo] %spew ~[%snd %rcv %odd %msg])
::=^ * comet (call comet ~[//nemo] %spew ~[%snd %rcv %odd %msg])
::
=^ moves0 nec (call nec ~[/g/talk] %plea our-comet %g /talk [%get %post])
=^ moves1 comet (call comet ~[//unix] %hear (snag-packet 0 moves0))
=^ moves2 comet
=/ =point:ames
:* rift=1
life=2
keys=[[life=2 [crypto-suite=1 `@`nec-pub]] ~ ~]
sponsor=`~nec
==
%- take
:^ comet /public-keys ~[//unix]
^- sign:ames
[%jael %public-keys %full [n=[~nec point] ~ ~]]
:: give comet's self-attestation to ~nec; at this point, we have
:: established a channel, and can proceed as usual
::
=/ post [%post 'first1!!']
=^ moves3 nec (call nec ~[//unix] %hear (snag-packet 0 moves2))
%+ weld
%- expect-fail |.
(call nec ~[//unix] %hear (snag-packet 1 moves2))
::
=^ moves4 comet (call comet ~[//unix] %hear (snag-packet 0 moves3))
=^ moves5 comet (take comet /bone/~nec/1/1 ~[//unix] %g %done ~)
=^ moves6 nec (call nec ~[//unix] %hear (snag-packet 0 moves5))
=^ moves7 comet (take comet /bone/~nec/1/1 ~[//unix] %g %boon post)
=^ moves8 nec (call nec ~[//unix] %hear (snag-packet 0 moves7))
::
;: weld
%+ expect-eq
!> =- [~[//unix] %pass /qos %d %flog %text -]
"; ~nec is your neighbor"
!> (snag 0 `(list move:ames)`moves4)
::
%+ expect-eq
!> =- [~[//unix] %pass /qos %d %flog %text -]
"; {<our-comet>} is your neighbor"
!> (snag 0 `(list move:ames)`moves6)
::
%+ expect-eq
!> [~[/g/talk] %give %boon post]
!> (snag 0 `(list move:ames)`moves8)
==
::
++ test-comet-comet-message-flow ^- tang
:: same as test-message-flow, but the comets need to exchange