// "shared-07.hac"
// copy-reduced from "shared-08.hac"
// testing shared channels

defproc source(chan!!(bool) X) {
chp {
X!(true)
}
}

chan(bool) B;
source S(B), T(B);

// won't actually run because exclusion is violated

