xlsynth-driver 0.52.1

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

// SPDX-License-Identifier: Apache-2.0

use clap::ArgMatches;

use crate::report_cli_error::report_cli_error_and_exit;

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