Keep real recheck stats around
commit79f573a8414bea2a06c510f8d0339ed7016ba02f
authorTatiana Racheva <tatianaracheva@fb.com>
Wed, 5 Jun 2019 22:54:26 +0000 (5 15:54 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 5 Jun 2019 23:11:27 +0000 (5 16:11 -0700)
treef1f79d337d7d9f187ef096bd890b00d73222c22d
parent989b1e760e8c3ec6a05e9e42d861feb540f07a61
Keep real recheck stats around

Summary:
The current recheck stats record is overwritten every time we, for example, run hh. This makes it difficult to use for saved state heuristics because it could be inaccurate.

In this change, I'm adding another stats record that would only be set in the same path where we log the recheck ID/recheck stats.

Our existing saved state and IDE tests rely on the existing recheck stats behavior, since it's convenient for them to check that the rechecked count is 0 if it is, indeed, a no-op. Therefore, I'm not touching anything about how the existing field is handled and simply adding a new one.

Differential Revision: D15599010

fbshipit-source-id: 63f03a854c906ff893aa9edc55be8d402d74af93
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverMain.ml
hphp/hack/test/integration_ml/integration_test_base.ml
hphp/hack/test/integration_ml/integration_test_base_types.ml
hphp/hack/test/integration_ml/saved_state/dune
hphp/hack/test/integration_ml/saved_state/test_recheck_stats.ml [new file with mode: 0644]