libpatron 0.17.3

Hardware bug-finding toolkit.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
// Copyright 2023 The Regents of the University of California
// released under BSD 3-Clause License
// author: Kevin Laeufer <laeufer@berkeley.edu>
mod parse;
mod serialize;
mod witness;

pub use parse::{
    parse_file, parse_file_with_ctx, parse_str, DEFAULT_INPUT_PREFIX, DEFAULT_STATE_PREFIX,
};
pub use serialize::{serialize, serialize_to_str};
pub use witness::{parse_witness, parse_witnesses, print_witness, witness_to_string};