b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	10	1	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	20	4	0	X!(true)
	20	7	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [recvd]
event queue:
	time	eid	pid	event
	20	4	0	X!(true)
check queue:
	30	6	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	30	6	0	X?(b)
	30	3	0	X!(false)
b : bool b = 1
X : chan(bool<>) X = (0) [sent]
event queue:
	time	eid	pid	event
	30	6	0	X?(b)
check queue:
	40	2	0	X!(true)
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	40	2	0	X!(true)
	40	5	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [recvd]
event queue:
	time	eid	pid	event
	40	2	0	X!(true)
check queue:
	50	8	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	50	8	0	
	50	8	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	(empty)
expect empty queue, sequence ended 
time: 50
