gistfile1.txt

OK: Passed 1000 test(s).

13% {negotiate,{trade_fsm_proper,b_make_offer,1}}
13% {negotiate,{trade_fsm_proper,b_make_offer_unblock,1}}
8% {negotiate,{trade_fsm_proper,b_ready_not_yet,0}}
7% {negotiate,{trade_fsm_proper,a_ready,0}}
7% {negotiate,{trade_fsm_proper,a_make_offer,1}}
6% {negotiate,{trade_fsm_proper,b_retract_offer_unblock,1}}
6% {negotiate,{trade_fsm_proper,b_retract_offer,1}}
6% {idle,{trade_fsm_proper,b_trade,0}}
6% {wait,{trade_fsm_proper,a_make_offer,1}}
5% {negotiate,{trade_fsm_proper,b_not_yet,0}}
4% {idle,{trade_fsm_proper,a_trade,0}}
3% {idle_wait_b,{trade_fsm_proper,a_do_accept,0}}
2% {negotiate,{trade_fsm_proper,a_retract_offer,1}}
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}}
1% {wait,{trade_fsm_proper,a_retract_offer,1}}