Skip to main content

gen_and_circuit

xlog_cuda_tests::harness::xgcf

Function gen_and_circuit 

Source 
pub fn gen_and_circuit() -> TinyXgcfSpec
Expand description

Generate an AND circuit: root = AND(Lit(+1), Lit(+2))