Make bidirectional proof the default
This commit is contained in:
parent
68dba77156
commit
12688a7bbe
@ -17,7 +17,7 @@ enum Command
|
|||||||
specification_paths: Vec<std::path::PathBuf>,
|
specification_paths: Vec<std::path::PathBuf>,
|
||||||
|
|
||||||
/// Proof direction (forward, backward, both)
|
/// Proof direction (forward, backward, both)
|
||||||
#[structopt(long, default_value = "forward")]
|
#[structopt(long, default_value = "both")]
|
||||||
proof_direction: anthem::problem::ProofDirection,
|
proof_direction: anthem::problem::ProofDirection,
|
||||||
|
|
||||||
/// Do not simplify translated program
|
/// Do not simplify translated program
|
||||||
|
Loading…
Reference in New Issue
Block a user