# "bool-split-select-b-01.chpsimrc"
#	$Id: bool-split-select-b-01.chpsimrc,v 1.2 2007/02/05 06:40:14 fang Exp $
# @haco@ bool-split-select-b.haco-a

watchall-events
step 100
queue
time
echo assert-queue should fail because this is deadlocked
get split.c
assert-queue

