Skip to main content

validate_equivalence_gpu_gated

xlog_prob::compilation::validation

Function validate_equivalence_gpu_gated 

Source 
pub fn validate_equivalence_gpu_gated(
    phi: &GpuCnf,
    phi_decision_var_limit: &TrackedCudaSlice<u32>,
    circuit: &GpuXgcf,
    provider: &Arc<CudaKernelProvider>,
    config: GpuEquivalenceConfig,
    compile_needed: &TrackedCudaSlice<u32>,
) -> Result<()>