2 Commits (998960930f585ca807d2fd3e45c77124c5b82aa8)

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