# "after-celem-02.prsimrc"
#	$Id: after-celem-02.prsimrc,v 1.3 2007/12/01 04:25:31 fang Exp $
# @haco@ after-celem-more.haco-a
# testing different delays on rules

watchall
timing after

what w
what x
what y
what z

fanin c

set a[0] 0
set a[1] 0
set a[2] 0
set a[3] 0
set b[0] 1
set b[1] 1
set b[2] 1
set b[3] 1
cycle

assert c X

set a[3] 1
cycle

assert c 0
time

getall w
getall x
getall y
getall z

