28 lines
509 B
Rust
28 lines
509 B
Rust
use aiken_lang::ast::Tracing;
|
|
|
|
pub struct Options {
|
|
pub code_gen_mode: CodeGenMode,
|
|
pub tracing: Tracing,
|
|
}
|
|
|
|
impl Default for Options {
|
|
fn default() -> Self {
|
|
Self {
|
|
code_gen_mode: CodeGenMode::NoOp,
|
|
tracing: Tracing::silent(),
|
|
}
|
|
}
|
|
}
|
|
|
|
pub enum CodeGenMode {
|
|
Test {
|
|
match_tests: Option<Vec<String>>,
|
|
verbose: bool,
|
|
exact_match: bool,
|
|
seed: u32,
|
|
property_max_success: usize,
|
|
},
|
|
Build(bool),
|
|
NoOp,
|
|
}
|