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