{"push_id":3175155241,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0f8444e235c63e8924105e9fb931ec6f69ed2ea5","before":"6a8f389c35119030e8d478b351c4a9f8cc41397f","commits":[{"sha":"0f8444e235c63e8924105e9fb931ec6f69ed2ea5","author":{"name":"Sungkeun Cho","email":"11263622c317e7278da5c0b0898d1439f8ec5b3e@fb.com"},"message":"[inferbo] Substitute conditions of proof obligations strictly\n\nSummary:\nThis diff substitutes the conditions of proof obligations strictly, so that the condition of \"p!=Null\" becomes bottom\nwhen callee's p is Null.\n\nIn the non-strict substitution (which is used by default), if p's location is not found it returns the unknown location.\nOn the other hand, in the strict substitution (which is used only in the substitution of condition of proof obligation),\nit returns bottom location.\n\nDepends on D13415366, D13414636\n\nReviewed By: mbouaziz, jvillard\n\nDifferential Revision: D13415377\n\nfbshipit-source-id: 5ae1e888e","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/0f8444e235c63e8924105e9fb931ec6f69ed2ea5"}]}
{"actor":{"display_login":"facebook-github-bot"}}