cprover
util/command-line-parsing.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup module_command-line-parsing Command Line Parsing
3 
4 \dot
5 digraph G {
6  node [shape=box];
7  rankdir="LR";
8  1 [shape=none, label=""];
9  2 [label="command line parsing"];
10  3 [shape=none, label=""];
11  1 -> 2 [label="C files or goto-binaries"];
12  2 -> 3 [label="Command line options, file names"];
13 }
14 \enddot