tree e31b7c9cdfb5abd2dc8254c4677021e7307e36db
parent 53b7ee26992bc7c5b6b320c6d953917764b7f02e
author Jinseong Jeon <jsjeon@google.com> 1556737048 -0700
committer Jinseong Jeon <jsjeon@google.com> 1556737132 +0000

Prioritize lib method modeling in side-effect analysis of invocations.

Change-Id: I11364edfcf4396bc1b6f1c46b044e9d79f93b620