infer_clone

Commit Graph

Author	SHA1	Message	Date
Radu Grigore	f8aa139b88	[topl] Be more precise in extracting summaries. Summary: When extracting summaries, ask PulseFormula to work harder to prove that path-conditions are unsat. This reduces the number of false positives. Reviewed By: jvillard Differential Revision: D25270609 fbshipit-source-id: 61ef5e8ac	4 years ago

Author

SHA1

Message

Date

Radu Grigore

f8aa139b88

[topl] Be more precise in extracting summaries.

Summary:
When extracting summaries, ask PulseFormula to work harder to prove that
path-conditions are unsat. This reduces the number of false positives.

Reviewed By: jvillard

Differential Revision: D25270609

fbshipit-source-id: 61ef5e8ac

1 Commits (fbcf418ea46de5f1bc776434a77ad268eb63f4ca)