| commit | 7db86629a227724e61dbe24d3132260072fa04b3 | [log] [tgz] |
|---|---|---|
| author | Vladimir Marko <vmarko@google.com> | Wed Dec 18 09:37:00 2013 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Dec 18 09:37:00 2013 +0000 |
| tree | 97f7b18686eb9d742b25f01b91e2387865f31ec6 | |
| parent | 43c941fe0e1ba6e6ff13a6035e37db031c341fd6 [diff] | |
| parent | 5816ed48bc339c983b40dc493e96b97821ce7966 [diff] |
Merge "Detect special methods at the end of verification."