bobg

$ ruby -I$HOME/xdrgen/lib ~/xdrgen/bin/xdrgen -o foo -l go Stellar-transaction.x 
/Users/bobglickstein/xdrgen/lib/xdrgen/ast/definitions/union.rb:22:in `resolved_case': undefined method `members' for nil:NilClass (NoMethodError)
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:530:in `block (2 levels) in switch_for'
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:527:in `each'
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:527:in `block in switch_for'
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:526:in `each'
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:526:in `switch_for'
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:289:in `render_union'
	from /Users/bobglickstein/xdrgen/lib/xdrgen/generators/go.rb:173:in `render_definition'

bobg

After fixing (?) the bug (in https://github.com/bobg/scp/commit/447b68011986d84507075b8412b5725c55c50f13) that caused a P > B error, a new run of lunch with the aliceinthemiddle network produces another problematic slot 116. It looks like it will never converge. I interrupted it after fifteen minutes.

2018/09/09 19:27:16 node elsie: slot 116: (C=14455 V=elsie I=116: NOM X=[gyros], Y=[]) -> (C=14466 V=elsie I=116: NOM X=[gyros], Y=[])
2018/09/09 19:27:16 node dave: slot 116: (C=14466 V=elsie I=116: NOM X=[gyros], Y=[]) -> (C=14468 V=dave I=116: NOM X=[gyros], Y=[])

bobg

This is the output of a run of lunch (from https://github.com/bobg/scp/tree/master/cmd/lunch) at commit 9249f25f6e828c232fb6cedb404609bd9063fa3c using config file aliceinthemiddle.

During slot 116 it encountered a P > B error, which should be impossible.

2018/09/09 17:00:27 node carol: slot 116: (C=14454 V=carol I=116: NOM X=[pizza], Y=[]) -> (C=14455 V=carol I=116: NOM X=[pizza], Y=[])
2018/09/09 17:00:27 node elsie: slot 116: (C=14451 V=elsie I=116: NOM X=[burritos], Y=[]) -> (C=14457 V=elsie I=116: NOM X=[burritos], Y=[])
2018/09/09 17:00:27 node alice: slot 116: (C=14452 V=alice I=116: NOM X=[sandwiches], Y=[]) -> (C=14459 V=alice I=116: NOM X=[sandwiches], Y=[])

bobg

Keybase proof

I hereby claim:

• I am bobg on github.
• I am bobg (https://keybase.io/bobg) on keybase.
• I have a public key ASCTxSFSFSlDlNDSIc5kwGlb8-vEV5G-wCzubicUJ5onvgo

To claim this, I am signing this object: