diff --git a/src/cli.rs b/src/cli.rs index 4fa1a182292..bb055bd6112 100644 --- a/src/cli.rs +++ b/src/cli.rs @@ -138,9 +138,9 @@ FLAGS: OPTIONS: -a [default: Naive] [possible values: {variants}] - --graphviz_file Generate a graphviz file to visualize the computation - --dump-liveness-graph Generate a graphviz file to visualize the liveness information - -o, --output Directory where to output resulting tuples + --graphviz-file Generate a graphviz file to visualize the computation + --dump-liveness-graph Generate a graphviz file to visualize the liveness information + -o, --output Directory where to output resulting tuples ARGS: ..."#, @@ -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)?,