Skip to main content

run_prolog_conformance_case

sim_lib_lang_prolog

Function run_prolog_conformance_case 

Source 
pub fn run_prolog_conformance_case(
    _cx: &mut Cx,
    case: &SourceConformanceCase,
) -> Result<SourceObservation>
Expand description

Runs one Prolog source conformance case through the installed Prolog surface.