// "channel-probe-b.hac"
// copy-modified from "channel-probe-a.hac"
//	$Id: channel-probe-b.hac,v 1.3 2007/08/09 05:49:46 fang Exp $
// testing channel probe semantics

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

chan(bool) A, B;
bool a;

chp {
*[ [#A]; A?(a); B!(a) ]
}

// bool_source bs<2, {true,false}>(A);		// dangling source
bool_sink snk(B);

// expect deadlock

