smt2patch 0.1.1

Library and binary tool to patch SMT2 files
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

// Copyright (c) Facebook, Inc. and its affiliates
// SPDX-License-Identifier: MIT OR Apache-2.0

use structopt::StructOpt;

/// Patch for SMT2 commands. Compatible with the command-line syntax of Z3.
#[derive(Debug, StructOpt)]
struct Options {
    /// Output file
    #[structopt(long, default_value = "/dev/stdout")]
    output: std::path::PathBuf,

    #[structopt(flatten)]
    config: smt2patch::PatcherConfig,

    /// Input file
    input: std::path::PathBuf,
}

fn main() -> anyhow::Result<()> {
    let options = Options::from_args();

    eprintln!("Current options: {:#?}", options);

    let mut patcher = smt2patch::Patcher::new(options.config);
    patcher.read(&options.input)?;
    patcher.write(&options.output)?;
    Ok(())
}