5f1f07e5a1
Flag prevents the input stream from saving terms to ~/.scryer_history when set. Use the flag when running tests to increase test isolation.
17 lines
319 B
Rust
17 lines
319 B
Rust
use std::collections::BTreeSet;
|
|
use std::env;
|
|
|
|
#[derive(Debug)]
|
|
pub struct MachineArgs {
|
|
pub add_history: bool,
|
|
}
|
|
|
|
impl MachineArgs {
|
|
pub fn new() -> Self {
|
|
let args: BTreeSet<String> = env::args().collect();
|
|
Self {
|
|
add_history: !args.contains("--no-add-history"),
|
|
}
|
|
}
|
|
}
|