infer_clone

Commit Graph

Author	SHA1	Message	Date
Jules Villard	18097db701	[pulse] apply disjunct limit more strictly Summary: Investigations into the number of disjuncts we get in summaries revealed that we sometimes blow past the limit. Rework the code to make sure that does not happen. We can probably raise the disjunct limit as a result, more experiments needed. Reviewed By: ezgicicek Differential Revision: D29229249 fbshipit-source-id: 4a06594fa	4 years ago
Jules Villard	d97b82f8db	[pulse] add tests for pulse.isl Summary: There's been regressions in --pulse-isl. Without tests, everything is temporary! Note: the regressions are presumably still there, this just records the current status of pulse.isl. Also, no objective-C(++) at the moment. Should we add them too? (in another diff) Reviewed By: skcho Differential Revision: D28256703 fbshipit-source-id: 700b2cc57	4 years ago

Author

SHA1

Message

Date

Jules Villard

18097db701

[pulse] apply disjunct limit more strictly

Summary:
Investigations into the number of disjuncts we get in summaries
revealed that we sometimes blow past the limit. Rework the code to make
sure that does not happen.

We can probably raise the disjunct limit as a result, more experiments
needed.

Reviewed By: ezgicicek

Differential Revision: D29229249

fbshipit-source-id: 4a06594fa

Jules Villard

d97b82f8db

[pulse] add tests for pulse.isl

Summary:
There's been regressions in --pulse-isl. Without tests, everything is
temporary!

Note: the regressions are presumably still there, this just records the
current status of pulse.isl.

Also, no objective-C(++) at the moment. Should we add them too? (in
another diff)

Reviewed By: skcho

Differential Revision: D28256703

fbshipit-source-id: 700b2cc57

2 Commits (9d221eb692ba6a3610c8545a553e79bf8211cec4)