Skip to content

Commit 774eb43

Browse files
committed
Fix --graphviz_file naming for consistency
1 parent 6a044a7 commit 774eb43

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/cli.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -138,9 +138,9 @@ FLAGS:
138138
OPTIONS:
139139
-a <algorithm> [default: Naive]
140140
[possible values: {variants}]
141-
--graphviz_file <graphviz_file> Generate a graphviz file to visualize the computation
142-
--dump-liveness-graph <liveness_graph_file> Generate a graphviz file to visualize the liveness information
143-
-o, --output <output_directory> Directory where to output resulting tuples
141+
--graphviz-file <graphviz file> Generate a graphviz file to visualize the computation
142+
--dump-liveness-graph <graphviz file> Generate a graphviz file to visualize the liveness information
143+
-o, --output <output_directory> Directory where to output resulting tuples
144144
145145
ARGS:
146146
<fact_dirs>..."#,
@@ -164,7 +164,7 @@ ARGS:
164164
show_tuples: args.contains("--show-tuples"),
165165
skip_timing: args.contains("--skip-timing"),
166166
verbose: args.contains(["-v", "--verbose"]),
167-
graphviz_file: arg_from_str(&mut args, "--graphviz_file")?,
167+
graphviz_file: arg_from_str(&mut args, "--graphviz-file")?,
168168
output_directory: arg_from_str(&mut args, "-o")?.or(arg_from_str(&mut args, "--output")?),
169169
liveness_graph_file: arg_from_str(&mut args, "--dump-liveness-graph")?,
170170
fact_dirs: args.free().map_err(readable_pico_error)?,

0 commit comments

Comments
 (0)