xlsynth-driver 0.42.0

Binary that integrates XLS capabilities into a driver program
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

// SPDX-License-Identifier: Apache-2.0

use clap::ArgMatches;

use crate::report_cli_error::report_cli_error_and_exit;

pub fn handle_ir_mcmc_opt(matches: &ArgMatches) {
    let cli = xlsynth_mcmc_pir::driver_cli::parse_pir_mcmc_args(matches);
    if let Err(e) = xlsynth_mcmc_pir::driver_cli::run_pir_mcmc_driver(cli, |msg| eprintln!("{msg}"))
    {
        let message = e.to_string();
        report_cli_error_and_exit(&message, Some("ir-mcmc-opt"), vec![]);
    }
}