infer_clone

Commit Graph

Author	SHA1	Message	Date
Sungkeun Cho	c92d56e4ad	[inferbo] Substitute symbolic value of unknown function call to top Summary: This diff substitutes symbolic values for unknown functions in proof obligations to top. The goal of the diff is to avoid generating too many number of proof obligations that cannot be concretized. Reviewed By: ezgicicek Differential Revision: D14537542 fbshipit-source-id: 7f8f3bb4b	6 years ago

Author

SHA1

Message

Date

Sungkeun Cho

c92d56e4ad

[inferbo] Substitute symbolic value of unknown function call to top

Summary: This diff substitutes symbolic values for unknown functions in proof obligations to top.  The goal of the diff is to avoid generating too many number of proof obligations that cannot be concretized.

Reviewed By: ezgicicek

Differential Revision: D14537542

fbshipit-source-id: 7f8f3bb4b

1 Commits (d586630edfd9a1ba70e0642f6eaedb38c4a35e2e)