isabelle_client::process

Function batch_process

Source 
pub async fn batch_process(
    args: &ProcessArgs,
    current_dir: Option<&PathBuf>,
) -> Result<Output>
Expand description

Runs the raw ML process in batch mode. Arguments for the command are specified in ProcessArgs. Returns the process’ output.

§Example

use isabelle_client::process::{batch_process, ProcessArgs};
use tokio_test;


let args = ProcessArgs::load_theories(&[String::from("~~/src/HOL/Examples/Drinker")]);
let output = batch_process(&args, None).await;
assert!(output.unwrap().status.success());
})