infer_clone

Commit Graph

Author	SHA1	Message	Date
Nikos Gorogiannis	4f46567fa7	[annotreach] kill custom path sensitivity Summary: The domain supported path sensitivity wrt to a specific boolean guard `Branch.unlikely`. This isn't used in actual code, so remove it. Also - add an .mli to the domain; - unabbreviate domain name to match analyser name; - use Payload.read instead of calling Ondemand directly; - adjust tests. Reviewed By: mbouaziz Differential Revision: D16203953 fbshipit-source-id: 743aa4400	5 years ago
Nikos Gorogiannis	5b191c53ae	[annotreach] clean up tests Summary: Move annotation reachability tests to their own directory. Clean up and complete the tests. Reviewed By: jvillard Differential Revision: D16201387 fbshipit-source-id: 8a87a25b7	5 years ago

Author

SHA1

Message

Date

Nikos Gorogiannis

4f46567fa7

[annotreach] kill custom path sensitivity

Summary:
The domain supported path sensitivity wrt to a specific boolean guard `Branch.unlikely`.  This isn't used in actual code, so remove it.

Also
- add an .mli to the domain;
- unabbreviate domain name to match analyser name;
- use Payload.read instead of calling Ondemand directly;
- adjust tests.

Reviewed By: mbouaziz

Differential Revision: D16203953

fbshipit-source-id: 743aa4400

Nikos Gorogiannis

5b191c53ae

[annotreach] clean up tests

Summary:
Move annotation reachability tests to their own directory.
Clean up and complete the tests.

Reviewed By: jvillard

Differential Revision: D16201387

fbshipit-source-id: 8a87a25b7

2 Commits (29fb2ac193599b8343747607e893c608c0ed8d1a)