Skip to content

Instantly share code, notes, and snippets.

@jlouis
Created November 9, 2011 15:04
Show Gist options
  • Save jlouis/1351690 to your computer and use it in GitHub Desktop.
Save jlouis/1351690 to your computer and use it in GitHub Desktop.
OK: Passed 1000 test(s).
26% {negotiate,{trade_fsm_proper,b_make_offer,1}}
24% {negotiate,{trade_fsm_proper,a_make_offer,1}}
14% {negotiate,{trade_fsm_proper,a_retract_offer,1}}
14% {negotiate,{trade_fsm_proper,b_retract_offer,1}}
5% {idle,{trade_fsm_proper,b_trade,0}}
4% {idle,{trade_fsm_proper,a_trade,0}}
3% {idle_wait_b,{trade_fsm_proper,a_do_accept,0}}
1% {idle,{trade_fsm_proper,expect_a_ask_negotiate,0}}
1% {idle_wait_b,{trade_fsm_proper,expect_a_ask_accept_negotiate_unblock,0}}
1% {idle_wait,{trade_fsm_proper,b_do_accept,0}}
true
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment