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	10	0	X!(true)
	20	11	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [recvd]
event queue:
	time	eid	pid	event
	20	10	0	X!(true)
check queue:
	30	9	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	30	9	0	
	30	9	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	40	8	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	50	6	0	X!(false)
	50	7	0	X?(b)
b : bool b = 0
X : chan(bool<>) X = (0) [recvd]
event queue:
	time	eid	pid	event
	50	6	0	X!(false)
check queue:
	60	5	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	60	5	0	
	60	5	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	70	4	0	
b : bool b = 0
X : chan(bool<>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	80	2	0	X!(true)
	80	3	0	X?(b)
b : bool b = 1
X : chan(bool<>) X = (1) [recvd]
event queue:
	time	eid	pid	event
	80	2	0	X!(true)
check queue:
	90	12	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	time	eid	pid	event
	90	12	0	
	90	12	0	
b : bool b = 1
X : chan(bool<>) X = (1) [empty]
event queue:
check queue:
	(empty)
expect empty queue, sequence ended 
time: 90
