diff options
| author | Alasdair Armstrong | 2018-02-08 19:40:17 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-08 19:42:58 +0000 |
| commit | 92813dc4c9c0cf1f86d34b09423ef6ce873b5f1c (patch) | |
| tree | 0cd29a44e45bac2c28b0b9d8a77c8e1c22271eb9 /src/util.mli | |
| parent | e9f6dd176d4f4791cc5c59e02b9eaaa0f3dc256f (diff) | |
Can now generate control flow graphs with C backend
Option -ddump_flow_graphs when used with -c will create graphviz files
for each function in the specification with control and data
dependencies shown.
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index 46d99002..8aa7f42d 100644 --- a/src/util.mli +++ b/src/util.mli @@ -52,6 +52,7 @@ val last : 'a list -> 'a val opt_warnings : bool ref +val opt_colors : bool ref val butlast : 'a list -> 'a list |