pub fn run_generate_propagate_test(
program: &Program,
candidates: Vec<EpistemicInterpretation>,
config: GeneratePropagateTestConfig,
) -> Result<GeneratePropagateTestOutcome>Expand description
Run bounded Generate-Propagate-Test execution over explicit candidates.