| commit | 5012df2a3f16d62845182f225c92157e9bb64a27 | [log] [tgz] |
|---|---|---|
| author | Artur Satayev <satayev@google.com> | Fri Sep 06 18:26:39 2019 +0100 |
| committer | Treehugger Robot <treehugger-gerrit@google.com> | Mon Sep 16 18:00:11 2019 +0000 |
| tree | e7972617a05109993bde1ac4ada0fae48b53bdc8 | |
| parent | a49b04f66e15a8f75fec831a01180625daa2c556 [diff] |
Do not initialize VeriClass java objects unless precise mode is enabled. This allows running veridex in inprecise mode where --core-stubs do not have java.lang.* classes to resolve. Test: manual Change-Id: I8d9eb49c22437c9f4da0101777391658f18e9b8c