// "bool-and-test-b.hac"
// copy-modified from "bool-and-test-a.hac"
//	$Id: bool-and-test-b.hac,v 1.3 2007/08/09 05:49:42 fang Exp $
// making one source slower than others

import "testlib/bool-source.hac";
import "testlib/bool-and.hac";
import "testlib/bool-sink.hac";

chan(bool) In[4];
chan(bool) Out;

bool_and<4> A(In, Out);

bool_source S0<1,{true}>(In[0]);
bool_source S1<3,{true,true,false}>(In[1]);
bool_source S2<4,{true,false,true,true}>(In[2]);
bool_source_delay S3<1,{true},20.0>(In[3]);
bool_sink Z(Out);

