tree d3b883ab85854789c1bdab5bf8eefb5fe4fb8e2c
parent 72fbd2f05da2a4f8830ce20cf37b2c7d8d34cd6a
author Jinseong Jeon <jsjeon@google.com> 1567929020 -0700
committer Jinseong Jeon <jsjeon@google.com> 1568059897 +0000

Limit method resolution in bottom-up propagation of assume rules.

Bug: 137038659
Change-Id: I6ef425302fb6120fcc2c0841b48f8eeec897c9f1