2 Commits (a705373e02f78cf836383c74fd49d965bedec29e)

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	6 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	6 years ago