Summary: Back in the days©, biabduction was the only analysis in infer, so a lot of things implicitly assume we are talking about biabduction. Update option names that are biabduction-specific to start with `--biabduction-`. Also update a few other options in the same spirit, eg for quandary, and amend some doc messages just because they were not informative enough. Also do some alphabetisation and moved a *bunch* of options that were in the wrong section of Config.mli. Reviewed By: skcho Differential Revision: D27268094 fbshipit-source-id: a1c784188
Summary: This diff adds an option hiding function pointers in costs to users: `cost-suppress-func-ptr` is true by default. Reviewed By: ezgicicek Differential Revision: D24448212 fbshipit-source-id: 88f6b5ea1
Reviewed By: ezgicicek Differential Revision: D22357433 fbshipit-source-id: f3a8bf1b4
markma
Jules Villard
Sungkeun Cho