cargo_hax

Function run_engine

Source 
pub(crate) fn run_engine(
    haxmeta: HaxMeta<ThirBody>,
    id_table: Table,
    working_dir: PathBuf,
    manifest_dir: PathBuf,
    backend: &BackendOptions<()>,
    message_format: MessageFormat,
) -> bool
Expand description

Runs hax-engine