// "env-cmos-source-sink-e-07.hac"
// testing CMOS source talking to CMOS bucket

import "env.hac";

bool _Reset, Reset;
e1of2 X;
cmos_source_e1of2 S<2,{1,1}>(X, _Reset, Reset);	// same value
inactive_reset_bitbucket_e1of2 B(X, _Reset);	// works
// bitbucket_e1of2 B(X, _Reset);		// doesn't work :(

