Skip to content

Commit

Permalink
Fix --graphviz_file naming for consistency
Browse files Browse the repository at this point in the history
  • Loading branch information
lqd committed Sep 19, 2019
1 parent e279862 commit 8d6ecad
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/cli.rs
Original file line number Diff line number Diff line change
Expand Up @@ -138,9 +138,9 @@ FLAGS:
OPTIONS:
-a <algorithm> [default: Naive]
[possible values: {variants}]
--graphviz_file <graphviz_file> Generate a graphviz file to visualize the computation
--dump-liveness-graph <liveness_graph_file> Generate a graphviz file to visualize the liveness information
-o, --output <output_directory> Directory where to output resulting tuples
--graphviz-file <graphviz file> Generate a graphviz file to visualize the computation
--dump-liveness-graph <graphviz file> Generate a graphviz file to visualize the liveness information
-o, --output <output_directory> Directory where to output resulting tuples
ARGS:
<fact_dirs>..."#,
Expand All @@ -164,7 +164,7 @@ ARGS:
show_tuples: args.contains("--show-tuples"),
skip_timing: args.contains("--skip-timing"),
verbose: args.contains(["-v", "--verbose"]),
graphviz_file: arg_from_str(&mut args, "--graphviz_file")?,
graphviz_file: arg_from_str(&mut args, "--graphviz-file")?,
output_directory: arg_from_str(&mut args, "-o")?.or(arg_from_str(&mut args, "--output")?),
liveness_graph_file: arg_from_str(&mut args, "--dump-liveness-graph")?,
fact_dirs: args.free().map_err(readable_pico_error)?,
Expand Down

0 comments on commit 8d6ecad

Please sign in to comment.