| commit | 8c558499118ffde951ae29540cac23a1c56968aa | |
| author | Mistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com> | |
| Fri, 3 Jul 2020 08:16:49 +0000 (3 01:16 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 3 Jul 2020 08:18:57 +0000 (3 01:18 -0700) | ||
| tree | 6781a67e8e3ba2b1b172a9af390ae39c7a368b4c | treesnapshot (tar.gz zip) |
| parent | 70a1e41881dfd605ed2c78b8b8753c600c498ed7 | commitdiff |
Output verbosity control
Summary:
- Remove the typed AST printing option in favour of using --tast for debugging.
- Make `--ifc` take an integer which designates the verbosity of the output.
- Levels:
+ 0: As the user would see them (at the moment this is just simplified constraints)
+ 1: Global constraint solving results
+ 2: Function/method constraint extraction results
+ 3: Declaration analysis results
Reviewed By: mpu
Differential Revision: D22097853
fbshipit-source-id: 28e571f4d0df817e7c08b8d58999137a8de6b0a2
Summary:
- Remove the typed AST printing option in favour of using --tast for debugging.
- Make `--ifc` take an integer which designates the verbosity of the output.
- Levels:
+ 0: As the user would see them (at the moment this is just simplified constraints)
+ 1: Global constraint solving results
+ 2: Function/method constraint extraction results
+ 3: Declaration analysis results
Reviewed By: mpu
Differential Revision: D22097853
fbshipit-source-id: 28e571f4d0df817e7c08b8d58999137a8de6b0a2
12 files changed: